Почему компилятор не может найти этот оператор & lt; & lt; перегрузка?

Я пытаюсь написать перегрузки 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() );
}

3

Решение

Во время создания шаблона шаблон функции в зависимости от типа шаблона можно найти только во время фазы II поиска. Фаза II поиска не учитывает имена, видимые в момент использования, а только имена, найденные на основе аргумент-зависимого поиска. Поскольку единственное связанное пространство имен для std::ostream а также std::vector<int> пространство имен std он не ищет ваши выходные операторы, определенные в глобальном пространстве имен. Конечно, вы не можете добавлять эти операторы в пространство имен std что является настоящим уловом: вы можете определить эти операторы только для контейнеров, включающих, по крайней мере, один пользовательский тип определения! Возможно, обойти это ограничение можно добавить пользовательский распределитель, который просто выводится из std::allocator<T> но живет в подходящем пользовательском пространстве имен: вы можете определить операторы вывода в этом пространстве имен. Недостатком этого подхода является то, что std::vector<T> (т. е. без параметра allocator) в значительной степени является словарным типом.

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

7

Другие решения

Других решений пока нет …

По вопросам рекламы ammmcru@yandex.ru
Adblock
detector