c++ - 编译时函数求值，不完整类型

Question

我有以下模板用于检查类型是否为 std::string 。它在 GCC 上编译良好，但在 Clang 上编译失败。哪一个是正确的行为？有没有办法让它同时工作？

#include<iostream>
#include<string>
#include<type_traits>

using namespace std;

template <typename T> //Checks if T is string type, by testing for the existence of member type "traits_type"
class is_string
{
public:
    template<typename C> std::false_type test(...);
    template<typename C> std::true_type test(decltype(sizeof(typename C::traits_type)));

    enum {
    value = decltype(((is_string<T>*)nullptr) -> test<T>( sizeof(0) ))::value
    };
};

int main() {
cout<<is_string<string>::value<<endl;
}

Clang 错误:

trial.cpp:15:51: error: member access into incomplete type 'is_string<std::basic_string<char> >'
    value = decltype(((is_string<T>*)nullptr) -> test<T>( sizeof(0) ))::value
                                              ^
trial.cpp:20:7: note: in instantiation of template class 'is_string<std::basic_string<char> >' requested here
cout<<is_string<string>::value<<endl;
      ^
trial.cpp:8:7: note: definition of 'is_string<std::basic_string<char> >' is not complete until the closing '}'
class is_string

Answer 1

Clang 是正确的，因为正如它所说，类型在定义完成之前是不完整的。我想如果你打开 -pedantic 那么你也会在 gcc 中得到错误。

做你想做的事情的更简单的方法是使用 std::is_same:

#include <string>
#include <type_traits>

static_assert(std::is_same<std::string, std::string>::value, "");
static_assert(not std::is_same<std::string, int>::value, "");