使用 GCC 6.1 检测概念 TS

Question

如何使用 GCC 6.1 检测是否存在 Concepts TS？

This page 建议宏 __cpp_experimental_concepts 应该在支持概念 TS 的实现中预定义。但是，以下测试程序在带有 -fconcepts 标志的 GCC 6.1 上编译没有错误：

#ifdef __cpp_experimental_concepts
static_assert(false, "Concepts TS found");
#endif

template <typename T>
concept bool Identity = true;

int main() {}

（我希望static_assert 被触发，或者concept 关键字无法识别。）

有没有人知道根据概念是否可用有条件地编译代码的任何其他方法？

Answer 1

对于 GCC，正确的宏是 __cpp_concepts：

#ifdef __cpp_concepts
static_assert(false, "Concepts TS found");
#endif

根据this，最近的草稿中更改了宏的名称。

正确的名称来自GCC support page（感谢Jonathan Wakely），但linked draft（2015-02-09）仍然需要__cpp_experimental_concepts（这很奇怪......）。但是，在这个more recent draft（2015-09-25）里，名字居然改成了__cpp_concepts。