Неоднозначный оператор в gcc

Я сделал шаблон функции для печати некоторых контейнеров stl

#include <iostream>
#include <vector>
#include <string>

template <template <typename, typename> class C, typename T, typename A>
std::ostream& operator<<(std::ostream& os, const C<T, A>& container)
{ 
    for (auto& elem : container) 
    { 
        os << elem << " "; 
    } 

    return os; 
}

int main()
{
    std::vector<std::string> v { "One", "Two", "Three" };

    std::cout << v << std::endl;

    return 0;
}

Это компилируется и работает, как и ожидалось, в MSVC, Clang и ICC, но при компиляции с GCC (транк) это выдает неоднозначную ошибку operator<< для линии os << elem << " ". И даже эта ошибка появляется только при компиляции с флагом -std=c++17 или -std=c++2a.

Ошибка кажется разумной для std::string, поскольку компилятор обнаруживает существующий шаблон функции, который для глобального operator<<, который принимает выходной поток, и basic_string<CharT, Traits, Allocator>, с типом Allocator по умолчанию равным std::allocator.

Мой вопрос заключается в том, почему он компилируется и работает с другими 3-мя компиляторами, насколько я понимаю, Clang, по крайней мере, использует ту же стандартную библиотечную реализацию в linux, что и gcc, поэтому он имеет такой же шаблон функции для operator<<

Сообщение об ошибке

error: ambiguous overload for 'operator<<' (operand types are 'std::ostream' {aka 'std::basic_ostream<char>'} and 'const std::__cxx11::basic_string<char>')

И два кандидата

note: candidate: 'std::ostream& operator<<(std::ostream&, const C<T, A>&) [with C = std::__cxx11::basic_string; T = char; A = std::char_traits<char>; std::ostream = std::basic_ostream<char>]'

note: candidate: 'std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>&) [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]'

Аргументы компилятора для GCC, Clang и ICC

-std=c++2a -O3 -Wall -Wextra -Wpedantic -Werror

Анкета для MSVC

/std:c++latest /O2 /W3

Обязательная крестовая ссылка: https://godbolt.org/z/R_aSKR

Ответы

Ответ 1

  Ошибка кажется разумной для std::string, поскольку компилятор обнаруживает существующий шаблон функции, который для глобального operator<<, который принимает выходной поток, и basic_string<CharT, Traits, Allocator>, с типом Allocator по умолчанию равным std::allocator.

Эта возможность сопоставления параметра, подобного C<T, A>, с типом, подобным basic_string<CharT, Traits, Allocator=std::allocator<CharT>>, впервые появилась в С++ 17, она взята из P0522. До этого документа ваш оператор не считался кандидатом.

Тем не менее, Clang намеренно решает не реализовывать эту функцию по умолчанию. Из их статуса:

Несмотря на то, что это разрешение для отчета о дефектах, эта функция по умолчанию отключена во всех языковых версиях и может быть включена явно с флагом -frelaxed-template-template-args в Clang 4 и выше. Изменение в стандарте не содержит соответствующего изменения для частичного упорядочения шаблона, что приводит к ошибкам неоднозначности для разумного и ранее действительного кода. Эта проблема, как ожидается, будет исправлена в ближайшее время.

Вы можете видеть, что когда вы добавляете этот флаг, ваш код становится неоднозначным и в Clang. Ваш пример - это разумный и ранее действующий код, от которого защищает Clang. Пример подобного рода, который я видел:

template <class T> struct some_trait;

template <template <class> class C, class A>
struct some_trait<C<A>> { /* ... */ };

template <template <class> class C, class A, class B>
struct some_trait<C<A, B>> { /* ... */ };

some_trait<vector<int>> раньше был в порядке (используя двоичную версию), но теперь становится неоднозначным (между унарной и двоичной версией).

MSVC может сделать такой же выбор, но я не знаю. Правильный ответ по стандарту заключается в том, что вызов неоднозначен.