Тип параметра шаблона рассматривается компилятором как завершенный, но его определение пока не видно

Question

Предположим, у меня есть следующий фрагмент кода:

template <class T>
class Bar
{
    // static_assert(sizeof(T) > 0); // (1)
public:
    void method()
    {
        static_assert(sizeof(T) > 0); // (2)
    }
};

class Foo; // (3)

template class Bar<Foo>; // (4)

class Foo{}; // (5)

Если мы раскомментируем строку (1), мы получим ошибку во время компиляции «неполный тип T», и, похоже, все ясно: class Bar инстанцирование запускается с помощью (4), и в этот момент class Foo объявляется только форвардом (3) и еще не определено (5).

Но если строка (1) закомментированазатем этот код компилируется без ошибок, и это меня смущает: (4) является явным определением экземпляра шаблона и заставляет компилятор генерировать код void method(), а строка (2) также должна генерировать ту же ошибку, так какопределение Foo сделано позже в (5).

Что мне не хватает, почему компилируется код из фрагмента?

ОБНОВЛЕНИЕ : код компилируется вGCC 8.2.0 и MSVC 19.16.27025.1, но в Clang 7.0.0 выдает ошибку «неполного типа».

Answer 1

Согласно стандарту, во время неявной реализации создается только объявление функций-членов, но не их определение.

[temp.inst] / 2 - Неявное создание экземпляров специализации шаблона класса вызывает

• неявное создание объявлений, но не определений, не удаленных функций-членов класса, классов-членов, перечислений членов в области видимости., статические члены данных, шаблоны членов и друзья ...

, но это не говорит о явных экземплярах.Целый класс создается, что означает, что он создает определение method(), и в этот момент Foo не завершен.

[temp.explicit] / 11 - Явное определение экземпляра, которое называет специализацию шаблона класса в явном виде, создает экземпляр специализации шаблона класса и является явным определением экземпляра только тех членов, которые были определены в момент создания.

Clang отклоняет код.