Вопрос по c++ – Оператор перегрузки <<: не может связать lvalue с ‘std :: basic_ostream <char> &&’

41

У меня есть класс, который использует вложенный класс, и хочу использовать вложенный классoperator<< определитьoperator<< в высшем классе. Вот как выглядит мой код:

#include <memory>
#include <iostream>

template<typename T>
struct classA {
  struct classB
  {
    template<typename U>
    friend inline std::ostream& operator<< (std::ostream &out,
                                            const typename classA<U>::classB &b);
  };

  classB root;

  template<typename U>
  friend std::ostream& operator<< (std::ostream &out,
                                   const classA<U> &tree);
};

template<typename T>
inline std::ostream& operator<< (std::ostream &out,
                                 const classA<T> &tree)
{
  out << tree.root;
  return out;
}

template<typename T>
inline std::ostream& operator<< (std::ostream &out,
                                 const typename classA<T>::classB &b)
{
  return out;
}

int main()
{
  classA<int> a;
  std::cout << a;
}

При компиляции без поддержки C ++ 11, определение оператора << для внутреннего класса, похоже, не найдено компилятором:

so.hpp:24:7: error: no match for ‘operator<<’ in ‘out << tree.classA<int>::root’
so.hpp:24:7: note: candidates are: ...

С GCC 4.6 и 4.7 при компиляции с std = c ++ 0x:

so.hpp:21:3: error: cannot bind ‘std::ostream {aka std::basic_ostream<char>}’ lvalue to ‘std::basic_ostream<char>&&’
In file included from /usr/include/c++/4.7/iostream:40:0,
                 from so.hpp:2:
/usr/include/c++/4.7/ostream:600:5: error:   initializing argument 1 of ‘std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&) [with _CharT = char; _Traits = std::char_traits<char>; _Tp = classA<int>::classB]’

Может кто-нибудь сказать мне, почему этот код не является законным, и как лучше всего делать то, что я хочу?

Ваш Ответ

3   ответа
2

Попробуй это

template<typename T>
inline std::ostream& operator<< (std::ostream &out,
                             const classA<T> &tree)
{
   //out << tree.root;
   ::operator<<( out, tree.root);
   return out;
}

и тогда ты получишь прямое признание в неумелости:

test.cpp:34:3: error: no matching function for call to ‘operator<<(std::ostream&, const classA<int>::classB&)’
test.cpp:34:3: note: candidates are:
test.cpp:23:22: note: template<class T> std::ostream& operator<<(std::ostream&, const     typename classA<T>::classB&)
test.cpp:30:22: note: template<class T> std::ostream& operator<<(std::ostream&, const classA<T>&)

Workaround: возможно, вы можете использовать функцию-член во вложенном классе B и использовать ее вместо оператора << ... Конечно, у этого решения есть множество недостатков, но оно может вывести вас из этой спешки.

Вы всегда можете явно позвонить::operator<< <T> (out, tree.root) вместо этого, но я думаю, что именованные функции-члены теперь выглядят более привлекательно. Useless
23

Бо предоставил Причина почему это происходит (типаT не выводится при вызове вложенногоoperator<<. Простой обходной путь, и то, что я рекомендую в общем, не только здесь, это не поддержка шаблона, а скорее единственная бесплатная функция. Для этого вам понадобится Определить встроенная функция:

template<typename T>
struct classA {
  struct classB
  {
    friend inline std::ostream& operator<< (std::ostream &out,
                                            const classB &b) {
       // definition goes here
    }
  };

  classB root;

  friend std::ostream& operator<< (std::ostream &out,
                                   const classA<U> &tree) {
       // definition goes here
  }
};

Есть два различия между двумя подходами. Наиболее важным из них является то, что при таком подходе компилятор определяет не шаблонную перегрузку дляoperator<< для каждого экземпляра шаблона, который, поскольку он больше не является шаблоном, не зависит от определения аргументов. Еще одним побочным эффектом является то, что подход немного Туже (вы только дружитеоди function, в то время как в вашем первоначальном подходе вы подружились с шаблоном и всеми возможными экземплярами (которые можно использовать как лазейку для получения доступа к внутренним компонентам вашего класса). Наконец, определенные таким образом функции будут найдены только через ADL, поэтому перегрузок @ будет меньшoperator<< для компилятора, который нужно учитывать, когда аргумент не равенClassA<T> илиClassA<T>::ClassB.

Как получить доступ с помощью вашего подхода

namespace {
   struct intruder {
       ClassA & ref;
       intruder( ClassA& r ) : ref(r) {}
   };
   template <>
   std::ostream& operator<< <intruder>( std::ostream& _, ClassA<intruder> const& i ) {
       std::cout << i.ref.private_member << std::endl;
       return _;
   }
}

Alternative

В качестве альтернативы вы можете подружиться с определенной специализацией шаблона. Это решитintruder проблема, так как она будет открыта только дляoperator<< вClassA<intruder>, который имеет гораздо меньшее влияние. Но это не решит вашу конкретную проблему, так как тип все равно не будет выводиться.

Спасибо за предоставление обходного пути. Antoine
Я вижу это как лучший дизайн а не Обходной путь. У него есть и обратная сторона (вы не можете взять адрес функции друга, объявленной внутри класса шаблона), но для всех остальных учетных записей лучше использовать бесплатные операторы функций ... David Rodríguez - dribeas
ЭтоНаходить новых друзе идиома, так что на самом деле это не обходной путь. TBBle
@ TBBle: Хорошо, что кто-то нашел название для него, но эта идиома давно используется без имени, и это просто прекрасно David Rodríguez - dribeas
Я не хотел подразумевать, что он перестал быть обходным путем, когда его назвали. Это имя для идиомы, по крайней мере,10 ле. изменения, которые сделали это необходимым Насколько я могу судить, @ более чем на 10 лет старше этого. Хотя в то время примеры этого варианта использования, казалось, все шли с «предварительным объявлением». TBBle
28

У тебя проблемы с "не выводимый контекст" в этом операторе

template<typename T>
inline std::ostream& operator<< (std::ostream &out,
                                 const typename classA<T>::classB &b)
{
  return out;
}

Компилятор не может понять, какие значенияT приведет кclassB соответствует параметру, который вы хотите передать. Так что этот шаблон не рассматривается!

В режиме C ++ 11 компилятор затем находит близкое совпадение из стандартной библиотеки

operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&)

где этоможе совпадение_Tp практически любого типа, включаяclassA<T>::classB, но отмечает, что первый параметр не совпадает.

Комментарий о близком совпадении дал понять, почему у меня возникла подобная проблема. Troy Daniels

Похожие вопросы