Создание экземпляров в мире гарантированного копирования

Question

Рассмотрим этот пример:

template <typename T>
using type = typename T::type;

template <typename T>
struct A
{
    A(type<T>);
};

A<int> f();
A<int> g() { return f(); }

Ни gcc, ни clang не компилируют этот код из-за того, что int не имеет вложенной type typedef. Но почему этот конструктор вообще создается? f() - это значение того же типа, что и возвращаемое g(), там даже не должно быть никакого движения. Что заставляет нас создавать экземпляр плохого конструктора?

Answer 1

Конструктор немного красной селедки. То же самое произошло бы, если бы это была любая другая функция-член.

template <typename T>
struct A
{
    void foo(type<T>); // Same error
};

Это из-за [temp.inst] / 2

Неявная реализация причин специализации шаблона класса неявное создание деклараций, но не определения, аргументы по умолчанию или noexcept-спецификаторы класса функции-члены, [...]

Декларация создается, поэтому type<T> должен быть правильно сформирован.