为什么我们不能在模板静态成员初始化中使用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)

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

Why can't we use auto in template static member initialization?

c++

static

templates

c++11