Может ли компилятор добавить дополнительные параметры шаблона дефолта в шаблоны STD? ⇐ C++

[Anonymous]

Рассмотрим следующий код: < /p>

Код: Выделить всё

#include 

class A {
protected:
~A() = default;

friend void std::destroy_at(A*); // libstdc++ ok, but libc++ failed.

public:
void f() {
std::destroy_at(this);
}
};

int main() {
}

См. Онлайн демо.

Код: Выделить всё

template = 0>
void destroy_at(T*) { ... }

Однако стандарт C ++ фактически определяет std :: destroy_at следующим образом:

Код: Выделить всё

template
void destroy_at(T*) { ... }

Может ли компилятор добавить дополнительные параметры шаблона Deflated в шаблоны STD ? Это соответствует стандарту?

Подробнее здесь: https://stackoverflow.com/questions/796 ... -templates