这是后续C++ 模板:防止基础模板的实例化
我使用模板来实现函数重载,而无需进行隐式类型转换的混乱:declare函数模板,定义所需的专业化(重载)。一切都很好,除了错误的代码在链接阶段之前不会产生错误:
lib.hpp:
template<class T> T f(T v);
lib.cpp:
#include "lib.hpp"
template<> long f(long v) { return -v; }
template<> bool f(bool v) { return !v; }
主要.cpp:
#include <iostream>
#include "lib.hpp"
int main()
{
std::cout
<< f(123L) << ", "
<< f(true) << ", "
<< f(234) << "\n"
;
}
海湾合作委员会输出:
c++ -O2 -pipe -c main.cpp
c++ -O2 -pipe -c lib.cpp
c++ main.o lib.o -o main
main.o(.text+0x94): In function `main':
: undefined reference to `int get<int>(int)'
我想让它在编译 main.cpp 期间失败。我可以以某种方式声明仅实际实现的专业化吗?
我有什么选择?目标是C++03,我主要对gcc-4.x和VC9感兴趣。
即使您不将其放入单独的文件中,它似乎也会产生链接器错误。
但是,要为其他实例产生编译器错误,请实现该函数并使用编译时断言,例如
#include <boost/static_assert.hpp>
template <class T> T f(T)
{
//assert some type-dependent "always-false" condition,
//so it won't be triggered unless this function is instantiated
BOOST_STATIC_ASSERT(sizeof(T) == 0 && "Only long or bool are available");
}
template<> long f(long v) { return -v; }
template<> bool f(bool v) { return !v; }
int main()
{
//f(100);
f(100L);
f(false);
}
对于一般信息,C++0x 有一种更优雅的方式来处理它:
template <class T> T f(T) = delete;
template<> long f(long v) { return -v; }
template<> bool f(bool v) { return !v; }
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)