c++ - 对静态成员使用 "template<>"

Question

我遇到了一些让我困惑的代码。我已将混淆归结为一个简单的案例

template<typename T>
struct S
{
    T member;
    static const size_t size;
};

struct U { int i; };
typedef S<U> US_t;

template<> const size_t US_t::size = sizeof(U);

Q1:为什么我在最后一行需要“template<> ”，因为 US_t有完整描述吗？

我实际遇到的代码 - 编译 - 具有以下等价物:

template<>template<> const size_t US_t::size = sizeof(U);

我很确定这是一个剪切和粘贴错误，但由于编译而未被捕获。Q2:这有效吗？如果是这样，为什么？[我注意到 codepad.org 将使用“template<>template<>”编译代码。]

Answer 1

将您的 typedef 想象成一个在编译时而不是预处理器时展开的宏。

然后没有 template<>你会有

const size_t S<U>::size = sizeof(U);

这不是一个有效的语法，因为你正在进行模板特化