Я пытаюсь написать перегрузки operator<<
для конкретных экземпляров контейнеров стандартной библиотеки, которые будут храниться в boost::variant
. Вот небольшой пример, иллюстрирующий проблему:
#include <iostream>
#include <vector>
std::ostream & operator<<( std::ostream & os, const std::vector< int > & ) {
os << "Streaming out std::vector< int >";
return os;
}
std::ostream & operator<<( std::ostream & os, const std::vector< double > & ) {
os << "Streaming out std::vector< double >";
return os;
}
#include <boost/variant.hpp>
typedef boost::variant< std::vector< int >, std::vector< double > > MyVariant;
int main( int argc, char * argv[] ) {
std::cout << MyVariant();
return 0;
}
Первая ошибка Clang
boost/variant/detail/variant_io.hpp:64:14: error: invalid operands to binary expression ('std::basic_ostream<char>' and 'const std::vector<int, std::allocator<int>>')
out_ << operand;
~~~~ ^ ~~~~~~~
Я понимаю, что #include <boost/variant.hpp>
находится в странном месте. Я почти уверен, что проблема была связана с двухэтапным поиском имени в шаблонах, поэтому я переместил #include
в попытке реализовать исправление №1 из документация clang по поиску. Исправление № 2 из этой документации не является хорошим вариантом, потому что я считаю, что добавление моего перегруженного оператора ‹‹ в пространство имен std приведет к неопределенному поведению.
Не следует ли определять мои operator<<
перед #include
, чтобы компилятор мог найти определения? Эта техника работает в следующем примере, взятом с той же страницы clang.
#include <iostream>
namespace ns {
struct Data {};
}
std::ostream& operator<<(std::ostream& out, const ns::Data & data) {
return out << "Some data";
}
namespace ns2 {
template<typename T>
void Dump( std::ostream & out, const T & value) {
out << value;
}
}
int main( int argc, char * argv[] ) {
ns2::Dump( std::cout, ns::Data() );
}