0

Есть два класса A и B, в классе A нет определения <<, но есть в классе B. Не хочет неявно приводить тип A к типу B, хотя, по идее, всё нормально. В чём проблема?

...
class B; 
class A
{
    public:
        friend class B;
        A(B& s_,...):s(s_),... {} // Конструктор с параметром типа B&
        ...
        operator B const& () const {return s;} // <-- приведение
        operator B& () {return s;} // <-- приведение
    private:
        B& s; 
        ...
 };
class B
{
    public:
        ... // всякие конструкторы и функции
        friend ostream& operator << (ostream &os, B const &s) 
        {
            ... // не вызывает подозрений
            return os;
        }
        friend class A;
        A operator [] (B const &s2) // метод, для которого и нужен класс A
        {
            ...
            return A(*this,...);
        }
}

В main пишу такое:

B s(...),s1(...);
cout << s[s1]; // <-- ошибка в этой строке

Появляется ошибка

[Error] cannot bind 'std::ostream {aka std::basic_ostream}' lvalue to 'std::basic_ostream&&'

Что интересно, если написать явное приведение, то всё норм:

cout << (B const& ) s[s1]; // <-- ошибки нет

P.s.: проблема именно в приведении, т.к. я написал << специально для A и всё работало.

15
  • @Abyx Всё делается для метода этого. Просто до конца не ясно, какой тип возвращать и всё такое
    – mark113
    1 мар 2016 в 16:38
  • Это очень не безопасно кастить классы, которые не являются наследниками друг друга. Что будет если вы добавите в class A ещё члены или виртуальную функцию. Вы скорее всего получите неправильное поведение.
    – Unick
    1 мар 2016 в 16:40
  • @Abyx Что именно? Реализацию <<?
    – mark113
    1 мар 2016 в 16:43
  • @mark113 Скиньте сюда минимальный компилируемый (во всем кроме ошибки с ostream) кусок кода, который воспроизводит данную проблему. 1 мар 2016 в 16:50
  • @StateItPrimitive слишком много писать, да и не имеет особого смысла, так как все остальные части протестированы и работают нормально. Для этого мне нужно скинуть конструкторы (оба вызывают по несколько больших функций), реализацию метода, вводить все данные класса. Думаю, это скорее помешает
    – mark113
    1 мар 2016 в 16:53

2 ответа 2

2

Функции определенные в теле класса при помощи friend не видны извне класса и могут быть найдены только при помощи ADL (поиска по типам аргументов).

Возьмем такой код:

struct A;

struct B {
    operator A();
};

struct A {
    friend void f(A) {}
    friend void g(B) {}
};

B::operator A(){ return A(); }

int main() {
    A a;
    B b;

    f(a); // OK
    g(b); // Ошибка

    f(b); // Ошибка
}

При вызове f(a), функция f успешно находится т.к. она находится в наборе имен A (хотя ее полное имя это ::f, но в процессе поиска имен можно считать что она находится в наборе имен A).

При вызове g(b), происходит ошибка, т.к. g в A не видна, а в других пространствах имен такой функции нет (ни в B, ни в глобальном).

При вызове f(b), происходит та же ошибка, т.к. f в A не видна, а в других пространствах имен ее нет (ни в B, ни в глобальном). Оператор приведения типа тут просто не успевает сработать, т.к. компилятор даже не знает что b надо приводить к какому-то типу.

Так как в коде приведенном в вопросе ADL не возможен, то тело operator<< надо вынести из класса (можно оставить его другом).

3
  • Самое интересное в этом примере то, что студийный компилятор (по крайней мере от visual studio 2010 и 2013) умудряется сделать неявные приведение типов и добраться до функции в единственном пространстве имен, где она реализована, в то время как gcc и clang выдают ошибку компиляции. 1 мар 2016 в 19:47
  • Причем, если скопировать реализацию, например, функции g(B) в класс B, то вылетает ошибка в духе error: redefinition of 'g' во всех трех компиляторах (от MSVS, gcc и clang). Начинает складываться впечатление, что это не ADL, как будто, ведь ADL должно влиять лишь на поиск имени функции, указанного в выражении вызова функции, т.е. может влиять на ошибки компиляции в духе неоднозначности вызова функции, но не должен бы оказывать влияния на компиляцию определений функций с одинаковым прототипом в разных пространствах имен (независимо от их вызова), либо я чего-то недопонимаю :) 1 мар 2016 в 19:59
  • Хм, получается, что человек наткнулся на настолько узкий момент, что я очень удивлен. Но хорошо, что это выяснилось так сразу, буду знать на будущее :) 1 мар 2016 в 20:06
1

Вам необходимо вынести реализацию

ostream& operator << (ostream &os, B const &s)

за пределы класса B, при этом оставив объявление данного оператора другом класса B:

class B
{
   public:
      // ...
      friend ostream& operator << (ostream& os, const B& s);
      // ...
}

ostream& operator << (ostream& os, const B& s) 
{
   // ...
   return os;
}

Подробное разъяснение данной проблемы дано в ответе Abyx.


В следующий раз постарайтесь привести полный минимальный код (т.е. такой минимальный код, который скопировав в свой компилятор, любой пользователь SO сможет получить такую же ошибку), например такой, тогда мы сможем быстро предложить, например, такое решение.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.