Я сделал шаблон функции для печати некоторых контейнеров 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 (trunk) это дает неоднозначный 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
An для MSVC
/std:c++latest /O2 /W3
Обязательная ссылка Godbolt: https://godbolt.org/z/R_aSKR