c++ - 静态断言模板类型名 T 不完整？

Question

<分区>

Answer 1

这是一个使用基于 chris 的表达式 SFINAE 的函数proposal它允许检查类型是否完整。
我的采用不需要包含，当缺少必需的参数时出错(隐藏参数是不可能的)并且适用于 C++11 及更高版本。

template<typename T>
constexpr auto is_complete(int=0) -> decltype(!sizeof(T)) {
    return true;   
}

template<typename T>
constexpr bool is_complete(...) {return false;}

还有一个测试套件:

struct S;

bool xyz() {return is_complete<S>(0);}

struct S{};

#include <iostream>
int main() {
    std::cout << is_complete<int>(0) << '\n';
    std::cout << xyz() << '\n';
    std::cout << is_complete<S>(0);
}

输出:

1
0
1

See live on coliru