Question

当外部类具有模板参数时，我有一段时间试图为嵌套类提供一个外联构造函数。扭曲是内部类仅因数据成员声明而异。以下是我的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提供外联构造函数？

还有其他类似的问题关注功能。当数据成员是痛点时，我的脱节似乎正在使这个工作。

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

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

Answer 1

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

这将有效：

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
};

外部类被模板化时嵌套类的外部构造函数

1 个答案: