有关模板编译的一个问题

[blldw]

有以下模板类定义：

template<typename T, int N>
class Test {
public:

#if N == 1
template<typename T2>
Test(const T2& val) {
t[0] = val;
}

#elif N == 2
template<typename T2>
Test(const T2& val, const T3& val2) {
t[0] = val, t[1] = val2;
}

#endif

private:
T t[N];
};

以下语句为什么编译不过？
Test<int, 1> t(1);

个人理解，在编译时刻类模板中的N已知，因此#if...预处理应该可以得到N == 1的值为真，故第一个构造函数应该被创建。但是根据编译的错误代码分析，它没有被创建，谁能解释一下。另外如果我想实现类似上述代码的功能，应如何做，谢谢！

[十八道胡同]

帮顶，等高手！

[wesleyluo]

[Quote=引用楼主 blldw 的回复:]
有以下模板类定义：

template<typename T, int N>
class Test {
public:

#if N == 1
template<typename T2>
Test(const T2& val) {
t[0] = val;
}

#elif N == 2
template<typename T2>
Test……
[/Quote]
问下你那个1是类型名吗？
这样试试。
Test<int, int> t(1);

[wesleyluo]

不好意思，搞错了。
应该是模板里面没有这个Test(int)的构造函数。

[fox000002]

lz 可以想象一下进入编译前是怎么处理的

预处理阶段，lz 如果没有定义宏 N 的值，那么两个构造函数都去掉了

编译自然会出错

[moolleychean]

template<typename T2>
  Test(const T2& val) {
    t[0] = val;
  }

template<typename T2>
  Test(const T2& val, const T3& val2) {
    t[0] = val, t[1] = val2;
  }

这两段代码编译器看都看不到，怎么会生成构造函数呢。

楼主试试以下代码就明白了

#define I 1
//#define I 2 //分别试试

template<typename T, int N>
class Test {
public:

#if I == 1
  template<typename T2>
  Test(const T2& val) {
  t[0] = val;
  }

#elif I == 2
  template<typename T2>
  Test(const T2& val, const T3& val2) {
  t[0] = val, t[1] = val2;
  }

#endif

private:
  T t[N];
};

[blldw]

N是一个模板常数，在定义模板类时要求必须提供该常数的值，如
Test<int,1> t(1);
这时在编译时刻，N的值就变为1了，为什么#if N==1不成立呢？

[blldw]

明白了，预处理和编译是两个不同的阶段，且在编译之前先进行预处理。在我的示例代码里面，N的值只在编译时刻才能确定，故在预处理阶段，N == 1和N == 2都不成立，所以两个构造函数最终不会成为模板类的构造函数。经过测试可以确认，预处理阶段N的值为0。

希望此例为大家提供一些参考。

[pengzhixi]

别把模板参数作为预处理条件。