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.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

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