Question

有没有办法测试一个类是否有指针数据成员？

class Test
{
  int* p;
}

template< typename T >
foo( T bla )
{
}

这不应该编译。因为Test有一个指针数据成员。

Test test;
foo( test )

也许我可以使用特性来禁用模板？或者是我唯一的选择宏？也许有人知道助推是否可以做到这一点？

Answer 1

以下内容可以作为保护，但必须可以访问成员变量（public），否则它将无效：

#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 )
{
    // ...
}

Answer 2

我想知道是否有办法检查我们不知道名称的指针数据成员。我给了p作为一个例子，但我的想法是我不知道名称是什么，或者只有一个指针数据成员

我认为你不能。

你可以使用gcc的-Weffc ++来警告带有指针成员的类（没有定义最小特殊成员）。

我真正认为你所追求的是“这个类是否具有价值语义”（“我需要深入克隆这个”）。在C ++中，你必须假设这一点，除非禁止复制/分配。

检查类是否具有指针数据成员

2 个答案: