c++ - 为什么我们不能在模板静态成员初始化中使用auto？

Question

下面的代码

template <typename MemberType>
struct Holder {
    static MemberType member;
};

template <typename MemberType>
auto Holder<MemberType>::member;

如果我们尝试访问 Holder::member，则会在 MSVS 2013 中产生错误 C2371:

error C2371: 'member' : redefinition; different basic types

但是，如果在初始化时我们使用模板参数名而不是'auto'关键字

template <typename MemberType>
MemberType Holder<MemberType>::member;

它按预期编译。那么，在这种情况下编译器无法推断出静态成员类型的原因是什么？

Answer 1

带占位符的变量声明 auto/decltype(auto)必须具有要推导的变量类型的初始值设定项:

The type of a variable declared using auto or decltype(auto) is deduced from its initializer. This use is allowed when declaring variables in a block (6.3), in namespace scope (3.3.6), and in a for-init-statement (6.5.3). auto or decltype(auto) shall appear as one of the decl-specifiers in the decl-specifier-seq and the decl-specifier-seq shall be followed by one or more init-declarators, each of which shall have a non-empty initializer.

您的示例没有定义的初始值设定项，因此您的代码格式错误。

静态成员的定义可能有一个占位符，但您的示例中的问题与您使用的模板和静态成员的声明取决于模板参数这一事实有关。例如，这个定义不会编译:

template <typename MemberType>
auto Holder<MemberType>::member = 42; // error: redefinition of 'member' with
                                    // a different type: 'int' vs 'MemberType'

Holder<MemberType>导致隐式实例化，编译器将在其中查看 Holder<MemberType>::member 的声明.编译器在此实例化时不知道从初始化器 ( int ) 推导出的类型是否与 MemberType 匹配，这就是为什么您会收到奇怪的错误“int vs MemberType ”。

如果您创建数据成员的显式特化，则以上代码有效，因为 MemberType在实例化时已知:

template <>
auto Holder<int>::member = 42; // OK, decltype(42) matches int (MemberType)