标签：c c11 boost sfinae

有没有一种方法可以测试一个类是否具有指针数据成员？

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 );
}

Live example

当然,您需要知道要检查的成员变量的名称,因为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" );
    // ...
}

Live example

请注意,我只是在函数的第一行中添加了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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。