c-检查类是否具有指针数据成员
作者:互联网
有没有一种方法可以测试一个类是否具有指针数据成员?
class Test
{
int* p;
}
template< typename T >
foo( T bla )
{
}
这不应该编译.因为Test具有指针数据成员.
Test test;
foo( test )
也许我可以使用特征来禁用模板?还是我唯一的选择宏?也许有人知道boost可以做到吗?
解决方法:
以下内容可以起到保护作用,但是成员变量必须可访问(公共),否则它将不起作用:
#include <type_traits>
class Test
{
public:
int* p;
};
template< typename T >
typename std::enable_if< std::is_pointer< decltype( T::p ) >::value >::type
foo( T bla ) { static_assert( sizeof( T ) == 0, "T::p is a pointer" ); }
template< typename T >
void foo( T bla )
{
}
int main()
{
Test test;
foo( test );
}
当然,您需要知道要检查的成员变量的名称,因为C中没有内置的通用反射机制.
避免歧义的另一种方法是创建一个has_pointer帮助器:
template< typename, typename = void >
struct has_pointer : std::false_type {};
template< typename T >
struct has_pointer< T, typename std::enable_if<
std::is_pointer< decltype( T::p ) >::value
>::type > : std::true_type {};
template< typename T >
void foo( T bla )
{
static_assert( !has_pointer< T >::value, "T::p is a pointer" );
// ...
}
请注意,我只是在函数的第一行中添加了static_assert作为一条漂亮的,可读的错误消息.当然,您也可以通过以下方式禁用该函数本身:
template< typename T >
typename std::enable_if< !has_pointer< T >::value >::type
foo( T bla )
{
// ...
}
标签:c,c11,boost,sfinae 来源: https://codeday.me/bug/20191009/1882109.html