当外部 class 被模板化时，嵌套 class 的外联构造函数

Question

当外部 class 具有模板参数时，我正在尝试为嵌套的 class 提供一个外联构造函数，这让我感到很烦恼。扭曲是内部 class 仅数据成员声明不同。下面是我的MCVE。如果它可以更小，我很抱歉。

typedef unsigned char byte;

template<class W, bool B>
struct F
{
    struct G;
};

template class F<int, false>;
template class F<long, true>;

template<>
struct F<int, false>::G
{
    G();
    byte b[4];
};

template<>
struct F<long, true>::G
{
    G();
    byte b[6];
};

template<>
F<int, false>::G::G()
{
    b[0] = b[1] = b[2] = b[3] = 0;
}

template<>
F<long, true>::G::G()
{
    b[0] = b[1] = b[2] = b[3] = b[4] = b[5] = 0;
}

int main(int argc, char* argv[])
{
    return 0;
}

从上面看，我只是想让F::G::G出格。

当我尝试编译它时，结果是：

test.cxx:29:1: error: template-id ‘G<>’ for ‘F<int, false>::G::G()’ does not match any template declaration
 F<int, false>::G::G()
 ^
test.cxx:35:1: error: template-id ‘G<>’ for ‘F<long int, true>::G::G()’ does not match any template declaration
 F<long, true>::G::G()
 ^

如何为 G 提供外联构造函数？

还有其他类似的问题是针对函数的。当数据成员是痛处时，我的断开连接似乎可以正常工作。

How to explicitly instantiate a template class that has a nested class with a friend function
Template method of template class specialization
Specialization of template method in partial class specialization
等

这就是我想要做的。 C++ 不允许它这么简单，所以我不得不求助于模板特化来获得编译时声明。

template<class W, bool B>
struct F
{
    struct G
    {
    #if (B == true)
        byte b[6];
    #else
        byte b[4];
    #endif
    };
};

Answer 1

即使 G 是模板 class 的内部 class，它实际上本身并不是模板 class。

这会起作用：

F<int, false>::G::G()
{
    b[0] = b[1] = b[2] = b[3] = 0;
}

F<long, true>::G::G()
{
    b[0] = b[1] = b[2] = b[3] = b[4] = b[5] = 0;
}

当然在这种情况下，您可以省去担心构造函数的麻烦：

template<>
struct F<int, false>::G
{
    byte b[4] = { 0 };  // zero - initialised
};

template<>
struct F<long, true>::G
{
    byte b[6] = { 0 }; // zero - initialised
};

当外部 class 被模板化时，嵌套 class 的外联构造函数

Out-of-line constructor for nested class when outer class is templated

c++

templates

constructor

inner-classes