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.