如何在没有C++ 11的情况下进行编译时断言

Question

在求职面试中,我被要求编写一个确定某个类型是否为指针的元函数.这是我提出的:

template <typename T>
struct is_pointer
{ static const bool value = false; }

template <typename T>
struct is_pointer<T *>
{ static const bool value = true; }

然后我被要求编写一个元断言,如果我的is_pointer函数没有做正确的事情,它将在编译期间失败.

当我使用时static_assert,他明确地告诉我,我可能只使用C++ 98标准.我怎样才能做到这一点？

Answer 1

有不同的方法,一个常见的尝试键入一个无效的类型:

#define static_assert(condition) \
        typedef char assert ## __LINE__ [((condition)?1:-1)]

这可以在大多数任何上下文中使用,如果条件为假,它将使编译器跳闸,因为它会尝试键入一个无效类型(负数元素数组).它可以在不同的环境中使用:

// namespace level:
static_assert(sizeof(int)==4);
struct type {
   // class level:
   static_assert(sizeof(int)==4);
   void f() {
       // function level
       static_assert(sizeof(int)==4);
   }
};

Answer 2

在你的情况下

template <bool> struct assert;
template <> struct assert<true> {};

会解决这个问题:

assert<!is_pointer<char>::value>();     // valid
assert<is_pointer<char *>::value>();    // valid

assert<is_pointer<char>::value>();      // compilation error:
                                        // use of incomplete class