8

这个问题的启发,我想知道是否可以引入一些编译时检查来检测两个给定的模板实例:

template <typename T>
class Templ...

typedef Templ<std::string> stringInstance;
typedef Templ<double> doubleInstance;

是从相同的定义构造的,或者如果它们是从Templ模板的不同特化构造的

所以基本上假设的模板函数的行为是这样的:

template <typename T>
class Templ
{}

template <>
class Templ<std::string>
{}

template <>
class Templ<double>
{}

template <typename T1,typename T2>
class Belong_To_Same_Templ_Definition
{}

//tests
typedef Templ<std::string> stringInstance;
typedef Templ<double> doubleInstance;
typedef Templ<int> intInstance;
typedef Templ<char> charInstance;

assert( Belong_To_Same_Templ_Definition< intInstance , charInstance >::value == true);
assert( Belong_To_Same_Templ_Definition< intInstance , doubleInstance >::value == false);
assert( Belong_To_Same_Templ_Definition< stringInstance , doubleInstance >::value == false);

有可能创建这种元功能吗?

4

1 回答 1

3

老实说,这似乎不太可能(尽管我不能明确排除狡猾的把戏)。

对于给定的专业化(在选择它的类型参数之外),没有一等身份可以比较。

因此,如果您愿意,您可以使其与您自己的模板一起使用,但您不能为现有模板编写临时推理。

还要考虑它无论如何都不起作用,因为它无法判断两个实例化是否具有兼容的布局:即使Templ<int>Templ<char>是从相同的模板代码实例化的,没有专门化,该代码也可以使用特征类,它们专业的。

于 2013-01-09T18:59:08.677 回答