3
#include <iostream>

template <class>
struct B {};

template <template<class> class>
struct A {
  A() { std::cout << "1\n"; }
};

template <>
struct A<B> {
  A() { std::cout << "2\n"; }
};

template <class T>
using C = B<T>;

int main() {
  A<B>{}, A<C>{};
}

Почему выводы gcc и clang отличаются (godbolt)? Кто прав и почему?

gcc 10.2:

2

2

clang 10.0.0:

2

1

8
  • 1
    Просто Clang генерирует более оптимизированный код для архитектуры x86, отличается от gcc при упрощении кода. На этот и предыдущий ваш вопрос, я бы ответил, что прав тот, кто говорит: "Старайтесь не писать не переносимый код" 7 авг 2020 в 13:28
  • Кажется, здесь прав gcc, поскольку std::is_same<B<int>,C<int>>::value - истина с точки зрения обоих компиляторов.
    – Chorkov
    7 авг 2020 в 13:42
  • Я вообще вот эту конструкцию не понял template <template<class> class>. Что это за извращение? =)
    – megorit
    7 авг 2020 в 16:34
  • @Πανμέτρονάριστον шаблонный параметр, который сам является шаблоном
    – dIm0n
    7 авг 2020 в 16:49

1 ответ 1

4

Это core issue 1286.

Насколько я понимаю, сейчас прав Clang. Если предложенные по ссылке изменения добавят в стандарт, тогда прав будет GCC.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.