c++ - static_assert 如果声明了类型

Question

在 c++11 中，如果声明了类型，是否有可能导致 static_assert 失败。声明是指前向声明还是完全定义。

目的是在已经声明或尚未声明的情况下通过指示性消息使编译失败。

除了一个聪明的技巧，我完全希望涉及到一些中间的类似 type_traits 的模板，这还不是标准的一部分。

Answer 1

如果代码中的给定点不存在某个类型，则您无法在那里引用它。为了引用它，你必须声明它。但是你不知道它的任何使用都指的是哪个声明。有效断言它不存在的唯一可能性就是以与先前声明冲突的方式声明或定义它，例如像这样:

struct Type;    // Earlier declaration.

// Whatever, then:
using Type = struct Unique_temporary_name*;    // "Type" must not exist.