Я пытаюсь написать перегрузки 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 из Лежит документация по поиску. Исправление № 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() );
}
Во время создания шаблона шаблон функции в зависимости от типа шаблона можно найти только во время фазы II поиска. Фаза II поиска не учитывает имена, видимые в момент использования, а только имена, найденные на основе аргумент-зависимого поиска. Поскольку единственное связанное пространство имен для std::ostream
а также std::vector<int>
пространство имен std
он не ищет ваши выходные операторы, определенные в глобальном пространстве имен. Конечно, вы не можете добавлять эти операторы в пространство имен std
что является настоящим уловом: вы можете определить эти операторы только для контейнеров, включающих, по крайней мере, один пользовательский тип определения! Возможно, обойти это ограничение можно добавить пользовательский распределитель, который просто выводится из std::allocator<T>
но живет в подходящем пользовательском пространстве имен: вы можете определить операторы вывода в этом пространстве имен. Недостатком этого подхода является то, что std::vector<T>
(т. е. без параметра allocator) в значительной степени является словарным типом.
Перемещение объявлений не помогает: поиск имени фазы II на самом деле не зависит от порядка объявления, за исключением того, что объявления должны предшествовать моменту создания экземпляра. Единственное правильное решение — определить операторы в пространстве имен, которое ищется при поиске фазы II, что в значительной степени означает, что печатаемые типы должны включать определенный пользователем тип.
Других решений пока нет …