宏中的typedef char

Question

我正在阅读用C ++编写的机器学习库dlib。 我在头文件中遇到了定义了一系列宏的代码。 我在理解以下代码时遇到困难

#ifndef BOOST_JOIN
#define BOOST_JOIN( X, Y ) BOOST_DO_JOIN( X, Y )
#define BOOST_DO_JOIN( X, Y ) BOOST_DO_JOIN2(X,Y)
#define BOOST_DO_JOIN2( X, Y ) X##Y
#endif
//  a bunch of other code

namespace dlib
{
template <bool value> struct compile_time_assert;
template <> struct compile_time_assert<true> { enum {value=1};  };
// a bunch of other definitions
}

#define COMPILE_TIME_ASSERT(expression) \
    DLIB_NO_WARN_UNUSED typedef char BOOST_JOIN(DLIB_CTA, __LINE__)[::dlib::compile_time_assert<(bool)(expression)>::value] 

我不明白的是

1. 上面代码的最后一行是做什么的？

2. 这里的typedef char很奇怪，我一点也不明白。

3. 替换为BOOST_JOIN ，它变为DLIB_CTA__LINE__[1] ，为什么是数组？ 合法吗

Answer 1

这是C ++ 03静态断言，或者至少是用于模拟它的解决方法。

以下仅在value为true时定义结构，否则未定义类型。

template <bool value> struct compile_time_assert;
template <> struct compile_time_assert<true> { enum {value=1};  };

这意味着compile_time_assert<true>::value完全正确，但是compile_time_assert<false>::value是编译错误，因为未定义compile_time_assert<false> 。

现在，断言的核心是：

DLIB_NO_WARN_UNUSED typedef char BOOST_JOIN(DLIB_CTA, __LINE__) ::dlib::compile_time_assert<(bool)(expression)>::value]

仅当expression计算结果为true时，才在大小为1的char数组上定义typedef。 如果表达式的计算结果为false，则说明存在编译时错误，并且typedef的名称是有关该错误的提示。

请注意，这有一些变体。 有些使用负数或null大小而不是编译错误，即它们定义了以下内容：

template <> struct compile_time_assert<false> { enum { value = -1 };  };

但实际上有一种简洁的表述方式（您可以在此问题中看到它）：

typedef char static_assert_something[expression ? 1 : -1];