如何通过SFINAE测试类中是否存在内部类
How to test for presence of an inner class in a class via SFINAE?
我正在尝试为具有特定名称的内部类的类提供不同的模板专用化。我从这里得到了一条线索,并尝试了以下方法:
#include <iostream>
template< typename T, typename Check = void > struct HasXYZ
{ static const bool value = false; };
template< typename T > struct HasXYZ< T, typename T::XYZ >
{ static const bool value = true; };
struct Foo
{
class XYZ {};
};
struct FooWithTypedef
{
typedef void XYZ;
};
int main()
{
// The following line prints 1, as expected
std::cout << HasXYZ< FooWithTypedef >::value << std::endl;
// The following line prints 0. Why?
std::cout << HasXYZ< Foo >::value << std::endl;
return 0;
}
正如您所看到的,如果我在FooWithTypedef
中测试typedef
定义的类型,它就可以工作了。但是,如果该类型是真正的内部类,则它不起作用。只有当FooWithTypedef
中的typedef
-ed类型与初始模板声明中第二个参数的默认值(在我的示例中是void
)匹配时,它才起作用。有人能解释一下这里发生了什么吗?专业化过程在这里是如何运作的?
回答初始问题
你在这里定义的模板专业化:
template <typename T> struct HasXYZ <T,typename T::XYZ>
{ static const bool value = true; };
当有人将数据类型CCD_ 6用于某个数据类型CCD_。
注意,无论A
是什么,A::XYZ
都是完全独立于A
的数据类型。内部类本身就是数据类型。当您使用A
作为第一个模板参数时,编译器绝对没有理由假设您要使用名为A:XYZ
的东西作为第二个参数,即使存在该名称的内部类,即使这样做会导致编译器实现与模板参数完全匹配的模板专用化。模板专业化是基于编码器提供的模板参数找到的,而不是基于进一步的可能的模板参数。
因此,当使用HasXYZ<Foo>
时,第二个参数将返回到使用默认模板参数void
。
不用说,如果您显式地使用HasXYZ<Foo,Foo:XYZ>
,您将获得预期的输出。但这显然不是你想要的。
恐怕得到你需要的东西的唯一方法是std::enable_if
(或者类似的方法)。
附加问题的答案(更新后)
考虑以下简化:
template <typename T, typename Check = void>
struct A
{ static const bool value = false; };
template <typename T>
struct A<T,void>
{ static const bool value = true; };
主定义为第二个模板参数指定默认参数void
。但是专门化(上面的第二个定义)定义了如果第二个模板参数真的是void
,class A
的实际外观。
这意味着,如果你在代码中使用A<int>
,默认参数将得到补充,这样你就得到了A<int,void>
,然后编译器会找到最合适的模板专用化,这就是上面的第二个。
因此,虽然默认模板参数被定义为主模板声明的一部分,但使用它们并不意味着使用了主模板定义。这主要是因为默认模板参数是模板声明的一部分,而不是模板定义(*)。
这就是为什么在您的示例中,当typedef void XYZ
包含在FooWithTypedef
中时,第二个模板参数默认为void
,然后找到最合适的专业化。即使在模板专用化中,第二个参数被定义为T::XYZ
而不是void
,这也是有效的。如果在评估时这些内容相同,则将选择模板专用化(§14.4"类型等效")。
(*)我在《标准》中找不到一份真正如此明确的声明。但有一个§14.1/10,它描述了一个模板有多个声明(但只有一个主要定义)的情况:
(§14.1/10)可与模板声明或定义一起使用的默认模板参数集是通过合并定义中的默认参数(如果在范围内)和范围内的所有声明获得的,方法与默认函数参数相同(8.3.6)。[示例:
template<class T1, class T2 = int> class A; template<class T1 = int, class T2> class A;
相当于
template<class T1 = int, class T2 = int> class A;
]。
这表明默认模板参数背后的机制独立于用于识别模板最合适的专业化的机制。
此外,还有两个现有的SO职位也提到了这一机制:
如果类成员typedef不存在,则此回复模板专用化以使用默认类型
类模板专业化中模板参数的默认值
这里是另一个检测内部类存在的版本:
#include <iostream>
template< typename T >
struct HasXYZ
{
typedef char yes;
typedef struct{ char d[2]; } no;
template<typename T1>
static yes test( typename T1::XYZ * );
template<typename T1>
static no test(...);
static const bool value = ( sizeof( test<T>(0) ) == sizeof( yes ) );
};
struct Foo
{
class XYZ {};
};
struct Bar
{
class ABC {};
};
int main()
{
std::cout << std::boolalpha << HasXYZ< Foo >::value << std::endl;
std::cout << std::boolalpha << HasXYZ< Bar >::value << std::endl;
}
A::XYZ
需要void
才能选择部分专用化,而类类型永远不会这样。使其工作的一种方法是使用伪依赖void
类型名称:
template<class T>
struct void_{ typedef void type; };
template<class T, class = void>
struct has_XYZ{ static bool const value = false; };
template<class T>
struct has_XYZ<T, typename void_<typename T::XYZ>::type>{
static bool const value = true;
};
有关如何工作的解释,请参阅此问题。
- 这个极客对极客的trie实现是否存在内存泄漏问题
- 如何检查QList中是否存在值
- 根据某个函数是否存在启用模板
- 地图计数确实很重要,或者只是检查是否存在
- C++中是否存在 std::conditional 的懒惰等价物?
- 无论如何,我可以确定构造函数是否存在吗?
- COM :是否可以查看是否存在对我的某个 COM 对象的进程外引用?我可以释放它吗?
- 堆分配的对象是否存在永不为空的唯一所有者?
- 扩展类中的可选 vir 函数,测试它在运行时是否存在
- 模板化检查是否存在带有参数列表的类成员函数?
- 是否存在包含负号的isdigit函数(过载)
- 如何巧妙地编写两个函数——一个用于检查是否存在解决方案,另一个用于获取所有解决方案
- 检查编译时是否存在静态函数
- 向量是否存在行主要形式?
- 检查 TinyXML 中的元素是否存在
- 检测是否存在具有 C++17 的类成员
- 虚拟继承中是否存在多重继承?
- 我遇到了这个代码片段,不明白. 它递归检查 C++ 字符串中是否存在大写字符
- std::weak_ptr 和相应的 std::shared_ptr 之间是否存在数据竞争?
- 是否存在用于 C 或 C++ 中常见数学运算(例如最小值、最大值和平均值)的可导入库?