C++11模版元编程:如何判断一个类型是完整类型(complete type)

10km

发布于 2020-04-30 16:59:01

1.4K0

发布于 2020-04-30 16:59:01

什么是完整类型(complete type)？要明白这个概念不如先从不完整类型(incomplete type)开始. 简单说，如果在编译期编译器能计算出一个类型的size，那么它就是一个完整类型，否则就是不完整类型。

比如如下的向前声明,编译器遇到它时，并无法判断student这个类型有占用多大的空间，所以它就是一个不完整类型：

struct student *ps;

当编译器遇到student的定义时它就成了一个完整类型

struct student
{
    int num;
}                   /* student structure now completed */

实现

ok,现在我们搞明白了完整类型的概念，那么在C++11中如何判断一个类型是完整类型呢？

只要对一个类型sizeof(T)能正确计算，这个T就是一个完整类型。

所以判断T是否为完整类型的模板函数就可以写成如下的样子：

// 根据SFINAE原则，sizeof(T)不能正确计算就进入此分支,value为false;
template <typename T, typename = void>
struct is_complete_type : std::false_type {};

// sizeof(T)能正确计算就进入此分支,value为true;
template <typename T>
struct is_complete_type<T, decltype(void(sizeof(T)))> : std::true_type {};

调用示例

std::cout << "int is complete type: " << is_complete_type<int>::value << std::endl;
// output 1(true) for int
// 前向声明类型
struct other;
std::cout << "other is complete type: " << is_complete_type<other>::value << std::endl;
// output 0(false) for www forward declaration