c++ - Boost.TTI 不适用于 Clang

Question

Boost 1.54 添加了一个新库，Boost.TTI用于类型特征内省(introspection)。以下代码使用 has_template功能，适用于 g++ 但不适用于 Clang

#include <boost/tti/has_template.hpp>

BOOST_TTI_HAS_TEMPLATE(Template1)
BOOST_TTI_HAS_TEMPLATE(Template2)
BOOST_TTI_HAS_TEMPLATE(Template3)

struct Top
{
  template <class X> struct Template1 { };
  template <typename A,typename B,typename C> class Template2 { };
  template <typename A,typename B,typename C,int D> class Template3 { };
};

int main()
{
    static_assert( has_template_Template1<Top>::value, ""); // true
    static_assert( has_template_Template2<Top>::value, ""); // true
    static_assert(!has_template_Template3<Top>::value, ""); // false, not all typename/class template parameters
}

Live Example .

问题:为什么这段代码不能在 Clang 上编译？根据 Boost.TTI 文档，需要支持可变参数宏，但 Clang 从 2.9 开始就支持它。

Answer 1

BOOST_TTI_HAS_TEMPLATE 使用来自 Boost.Preprocessor 的可变参数宏。 The maintainer of this library does not want to depend on Boost.Config and also believes that the macro that Config defines is not "strong enough" for a preprocessor metaprogramming library. .由于这些原因，BOOST_TTI_HAS_TEMPLATE 的可变版本的使用取决于是否定义了 BOOST_PP_VARIADICS。 Sadly, the code for automatically determining if a compiler has variadic macro support is out of date and does not include clang amongst the compilers for which variadic support is on. The recommended workaround is defining BOOST_PP_VARIADICS=1.

显然这已经在主干中得到解决，并且可能会包含在未来的版本中。