推导指南、模板与子对象：GCC与Clang谁对这段代码处理正确？

先来看你的代码片段：

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的处理是正确的 #

原因要从C标准对类模板推导指引的声明规则说起：
根据C标准（C++17及后续版本）的[temp.deduct.guide]章节，类模板的推导指引必须声明在包含该类模板的命名空间范围内。对于像S::T这种嵌套在类中的类模板，它的推导指引不能直接放在外围类S的内部，而必须放在S所在的命名空间（这里是全局命名空间）中。

简单来说：推导指引是给类模板用的，但它本身并不是外围类的成员，所以不能放在类内部声明。

修正后的合法代码 #

把推导指引移到外围类的命名空间中即可，这样两款编译器都能正常编译：

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

// 推导指引放在全局命名空间（S所在的命名空间）
template<typename B> S::T(B &&) -> S::T<B>;

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

Clang之所以能通过编译，是因为它做了宽松的兼容性处理，但从标准合规性的角度来看，GCC的报错是符合C++标准要求的。

内容的提问来源于stack exchange，提问作者skypjack