有关模板编译的一个问题

blldw 2010-05-19 11:10:46
有以下模板类定义:

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的值为真,故第一个构造函数应该被创建。但是根据编译的错误代码分析,它没有被创建,谁能解释一下。另外如果我想实现类似上述代码的功能,应如何做,谢谢!
...全文
65 点赞 收藏 8
写回复
8 条回复
pengzhixi 2010年05月19日
别把模板参数作为预处理条件。
回复 点赞
blldw 2010年05月19日
明白了,预处理和编译是两个不同的阶段,且在编译之前先进行预处理。在我的示例代码里面,N的值只在编译时刻才能确定,故在预处理阶段,N == 1和N == 2都不成立,所以两个构造函数最终不会成为模板类的构造函数。经过测试可以确认,预处理阶段N的值为0。

希望此例为大家提供一些参考。
回复 点赞
blldw 2010年05月19日
N是一个模板常数,在定义模板类时要求必须提供该常数的值,如
Test<int,1> t(1);
这时在编译时刻,N的值就变为1了,为什么#if N==1不成立呢?
回复 点赞
moolleychean 2010年05月19日
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];
};
回复 点赞
fox000002 2010年05月19日
lz 可以想象一下进入编译前是怎么处理的

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

编译自然会出错
回复 点赞
wesleyluo 2010年05月19日
不好意思,搞错了。
应该是模板里面没有这个Test(int)的构造函数。
回复 点赞
wesleyluo 2010年05月19日
[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);
回复 点赞
十八道胡同 2010年05月19日
帮顶,等高手!
回复 点赞
发动态
发帖子
C++ 语言
创建于2007-09-28

3.1w+

社区成员

24.8w+

社区内容

C++ 语言相关问题讨论,技术干货分享
社区公告
暂无公告