扣除指南、模板和子对象：哪个编译器是正确的？

Question

Consider the following snippet:

struct S {
    S() {}

    template<typename B>
    struct T {
        T(B &&) {}
    };

    template<typename B>
    T(B &&) -> T<B>;
};

int main() {
    S::T t{0};
}

Clang 接受 了它，而GCC则用以下错误信息拒绝了这段代码:

prog.cc:10:5: error: deduction guide 'S::T(B&&) -> S::T' must be declared at namespace scope

这是有效的代码吗？哪个编译器是正确的，GCC还是Clang？

- skypjack

---

一个稍微复杂一点的例子似乎仍然无法在gcc和clang中编译成功，所以不要对clang编译嵌套推导指南过于乐观 :) - W.F.

@W.F. 显然，CTAD 对于模板类内部的类不起作用；这是标准缺陷（请参见我在链接答案中的评论）。 - Rakete1111

现在已在GCC 12中修复（https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79501） - Desmond Gold

Answer 1

根据http://en.cppreference.com/w/cpp/language/class_template_argument_deduction：用户定义的推导指南必须命名一个类模板，并且必须在同一语义范围内引入类模板（可以是命名空间或封闭类），对于成员类模板，访问也必须相同，但是推断指南不会成为该范围的成员。因此，clang看起来是正确的。

- Jarod42

---

我看到了，但是在标准中没有找到类似的东西。你能帮忙吗？ - skypjack

@skypjack 来自[temp.deduct.guide] ：“一个模板参数推导指南必须存在于相应类模板所属的作用域中，并且对于成员类模板，具有相同的访问权限。” - El Mismo Sol