如何将类型名称作为字符串嵌入到 static_assert() 中？ [复制]

Question

问题

由于消息不是字符串文字，因此无法构建以下内容。

template<typename T>
struct Foo
{ 
  Foo() 
  {
    static_assert( is_pod<T>::value, typeid(T).name() );
  }
};

最终，如果我尝试编译 Foo<Bar> fb;，我想要一条失败消息，例如“Bar 必须是 pod 类型”。

是否可以按照static_assert 的要求在编译时构建此字符串？

Answer 1

不可能在编译时构建所需的字符串并将其放入消息中，但这在实践中通常不是问题，因为错误消息将包含调用上下文，您始终可以为您的 @ 创建一个包装器987654323@ 显示错误信息中的类型：

template< typename T >
void verify_pod()
{
    static_assert( std::is_pod<T>::value, "T is not a POD" );
}

产量

clang++ -std=c++11 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp:7:5: error: static_assert failed "T is not a POD"
    static_assert( std::is_pod<T>::value, "T is not a POD" );
    ^              ~~~~~~~~~~~~~~~~~~~~~
main.cpp:12:5: note: in instantiation of function template specialization 'verify_pod<std::basic_string<char> >' requested here
    verify_pod< std::string >();
    ^
1 error generated.

注意note: ...，其中显示了类型为std::string（或此处：std::basic_string<char>）的包装器。

Live example (Clang)

对于GCC，报错信息也很nice：

main.cpp: In instantiation of 'void verify_pod() [with T = std::basic_string<char>]':
main.cpp:12:31:   required from here
main.cpp:7:5: error: static assertion failed: T is not a POD
     static_assert( std::is_pod<T>::value, "T is not a POD" );
     ^

Live example (GCC)

Answer 2

在模板中，您会看到 Daniel Frey 的 explained。在模板之外，单独使用 static_assert 是不可能的，但可以在宏和字符串化运算符 # 的帮助下完成：

#define VERIFY_POD(T) \
    static_assert(std::is_pod<T>::value, #T " must be a pod-type" );

对于带有 gcc 4.8.1 的 struct non_pod { virtual ~non_pod() {} }; 类型，VERIFY_POD(non_pod) 给出

main.cpp:4:2: error: static assertion failed: non_pod must be a pod-type
  static_assert(std::is_pod<T>::value, #T " must be a pod-type" );
  ^
main.cpp:15:2: note: in expansion of macro 'VERIFY_POD'
  VERIFY_POD(non_pod);

如果您和我一样不想在错误消息中看到标记 #T " must be a pod-type"，那么您可以在宏定义中添加额外的一行：

#define VERIFY_POD(T) \
    static_assert(std::is_pod<T>::value, \
    #T "must be a pod-type" );

有了这个，前面的例子产生：

main.cpp: In function 'int main()':
main.cpp:4:2: error: static assertion failed: non_pod must be a pod-type
  static_assert(std::is_pod<T>::value, \
  ^
main.cpp:14:2: note: in expansion of macro 'VERIFY_POD'
  VERIFY_POD(non_pod);
  ^

当然，错误消息的确切外观取决于编译器。使用 clang 3.4 我们得到

main.cpp:14:5: error: static_assert failed "non_pod must be a pod-type"
    VERIFY_POD(non_pod);
    ^~~~~~~~~~~~~~~~~~~

main.cpp:3:23: note: expanded from macro 'VERIFY_POD'
#define VERIFY_POD(T) \
                      ^
1 error generated.