title: 模版之编译期断言
date: 2023-02-20 20:28:08
permalink: /pages/83d2a5/
categories:

• 通用领域
• 编程语言
• C++
  tags:
• C++
• 元编程
  author:
  name: zhengzhibing
  link: https://azmddy.top/pages/83d2a5/

模板之编译期断言

assert是在运行期的断言，会导致abort，很少被使用，我们可以利用模板实现编译期的断言。

在《Modern C++ Design》中介绍了利用大小为0的数组是非法的，也就是char unamed[0];但是事实上这需要编译选项（-pedantic或-Wzero-length-array）支持，因为C/C++是支持这个用法的，用于变长结构体。

简单介绍一下利用这个特性是怎么做编译期断言的。代码如下：

#define Check(expr)                  \
    {                                \
        char unamed[(expr) ? 1 : 0]; \
        (void)(unamed);              \
    }

接下来我们利用模板来实现。这里需要用到std::enable_if(C++11起)，它的实现也比较简单，利用了模板的偏特化，只能实例化enable_if<true, T>。

template<bool B, class T = void>
struct enable_if {};
 
template<class T>
struct enable_if<true, T> { typedef T type; };

我们利用这个特点实现编译期断言。代码如下：

#define Check(expr)                                           \
    {                                                         \
        typename std::enable_if<(expr), void>::type unamed(); \
    }

如果是C++14就更简洁一点。

#define Check(expr)                              \
    {                                            \
        std::enable_if_t<(expr), void> unamed(); \
    }