Параметры шаблона по умолчанию в описании использования и создании экземпляра

Редактировать:
По-видимому, GCC позволяет создать экземпляр шаблона класса без списка параметров (когда параметры заданы по умолчанию), что не соответствует требованиям (соответствует требованиям Clang) .
Я предполагаю, что причина, по которой требуются скобки (даже если список параметров пуст), заключается в том, чтобы явно указать, что это экземпляр шаблона, а не фактический тип. Итак, я задаю свой исходный вопрос о различиях между случаями шаблона класса и шаблона функции: почему во втором фрагменте разрешено вызывать a без скобок, в отличие от экземпляра A в первом фрагменте? А почему это не разрешено для b?

---

Оригинал:
A class template with only default parameters can be instantiated without any parameter list (see A below).
However, if an alias to that class template is defined via a using-declaration as a template with the same default parameters (see B below), then its instantiation requires a parameter list (possibly empty).
Similarly, defining an alias to the class template as an actual type (see C below) requires a parameter list (again, possibly empty).
Is there a reason behind this?

template<int i = 1>
struct A {
    operator int() { return i; }
};

template<int i = 2>
using B = A<i>;

// using C = A;    <-- error: missing template arguments after 'A'
using C = A<>;

int main() {
    A a; // Edit: Actually should require brackets: A<> a;
    // B b;    <-- error: missing template arguments before 'b'
    B<> b;
    C c;
}

В прямом эфире на Колиру

Я попытался создать аналогичный сценарий с шаблоном функции вместо шаблона класса, и в последнем случае (C) есть небольшая разница: список параметров не требуется, если тип возвращаемого значения указан в определении a. Думаю, я понимаю почему, но я хотел бы получить некоторые идеи. В остальном оба случая аналогичны шаблонным классам.

template<int i = 1>
auto a() { return i; }
// auto a() -> int { return i; }
// if the return type is specified, c can be defined as commented below

template<int i = 2>
auto b = a<i>;

// auto c = a;    <-- error: unable to deduce 'auto' from 'a'
auto c = a<>;

int main() {
    a();
    // b();    <-- error: missing template arguments before '(' token
    b<>();
    c();
}

В прямом эфире на Колиру

Кроме того, есть ли существенные различия между современными стандартами C++ (от C++ 11 до C++ 20)? Меня больше всего интересует случай C++ 17, но я хотел бы знать, изменились ли эти вещи или собираются ли они. Из того, что я видел, в C++ 14 для создания экземпляра шаблона класса в любом случае требуется список параметров, а для вызова шаблона функции - нет. И я не нашел различий между C++ 17 и C++ 2a с GCC.