Конструктор C ++ для неявного преобразования типов - PullRequest
Новая
       31

Конструктор C ++ для неявного преобразования типов

3 голосов
/ 19 июня 2011

У меня есть эти коды: 

class Type2 {
public:
  Type2(const Type1 & type);
  Type2(int);
const Type2 & operator=(const Type2 & type2);
//....
};

...
  Type1 t1(13);
  Type2 t2(4);

  t2=t1;

Как я понял, конструкторы с одним аргументом типа 2 каждый без ключевого слова явное должны означать, что любые объекты Type1 или значения int могут быть неявнопреобразуется в объекты типа 2.

Но в последней строке t2 = t1; MS Visual Studio выдает мне эту ошибку компиляции:

.... errorC2679: бинарный '=': не найден оператор, который принимает правый операнд типа 'Тип1' (или нет приемлемого преобразования) ....

Похоже, MS Visual Studio настаивает t2 = t1; должен соответствовать оператору присваивания с lhs = Type2 и rhs = Type1.Почему он не может неявно привести rhs к t2, а затем выполнить копирование с помощью оператора Type2 = Type2?

Ответы [ 2 ]

2 голосов
/ 19 июня 2011

Я нашел ответ. Потому что мой Type1 получил оператор преобразования 

    class Type1 {
    public:
        Type1 (int );
        operator  Type2() ;//casting to Type2

    ....
    };

Это то, что называется "неявное преобразование в двух направлениях"

1 голос
/ 19 июня 2011

Этот код: 

#include <iostream>

using ::std::cerr;

class Barney;

class Fred {
 public:
   Fred() { }
   Fred(const Barney &b) { cerr << "Using conversion constructor.\n"; }
};

class Barney {
 public:
   Barney() { }
   operator Fred() const { cerr << "Using conversion operator.\n"; return Fred(); }
};

int main(int argc, const char *argv[])
{
   const Barney b;
   Fred f;
   f = b;
   return 0;
}

генерирует эту ошибку в gcc 4.6: 

g++ -O3 -Wall fred.cpp -o a.out
fred.cpp: In function ‘int main(int, const char**)’:
fred.cpp:23:8: error: conversion from ‘const Barney’ to ‘const Fred’ is ambiguous
fred.cpp:21:17: note: candidates are:
fred.cpp:16:4: note: Barney::operator Fred() const
fred.cpp:10:4: note: Fred::Fred(const Barney&)
fred.cpp:7:7: error:   initializing argument 1 of ‘Fred& Fred::operator=(const Fred&)’

Compilation exited abnormally with code 1 at Sun Jun 19 04:13:53

Теперь, если я удаляю const после operator Fred(), он компилируется ииспользует конструктор преобразования.Если я также удаляю const из объявления b в main, тогда он предпочитает оператор преобразования.

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

Я заметил, что в приведенных вами примерах оператор преобразования пропускает const.Это означает, что никогда не будет случая, когда использование оператора преобразования или конструктора преобразования является неоднозначным.

...