Conversion constructor vs. conversion operator: precedence

by

You do copy initialization, and the candidate functions that are considered to do the conversions in the conversion sequence are conversion functions and converting constructors. These are in your case

B(const A&)
operator B()

Now, that are the way you declare them. Overload resolution abstracts away from that, and transforms each candidate into a list of parameters that correspond to the arguments of the call. The parameters are

B(const A&)
B(A&)

The second one is because the conversion function is a member function. The A& is the so-called implicit object parameter that’s generated when a candidate is a member function. Now, the argument has type A. When binding the implicit object parameter, a non-const reference can bind to an rvalue. So, another rule says that when you have two viable functions whose parameters are references, then the candidate having the fewest const qualification will win. That’s why your conversion function wins. Try making operator B a const member function. You will notice an ambiguity.

From an object-oriented philosophical standpoint, is this the way the code should behave? Who knows more about how an A object should become a B object, A or B? According to C++, the answer is A — is there anything in object-oriented practice that suggests this should be the case? To me personally, it would make sense either way, so I’m interested to know how the choice was made.

For the record, if you make the conversion function a const member function, then GCC will chose the constructor (so GCC seems to think that B has more business with it?). Switch to pedantic mode (-pedantic) to make it cause a diagnostic.

Standardese, 8.5/14

Otherwise (i.e., for the remaining copy-initialization cases), user-defined conversion sequences that can convert from the source type to the destination type or (when a conversion function is used) to a derived class thereof are enumerated as described in 13.3.1.4, and the best one is chosen through overload resolution (13.3).

And 13.3.1.4

Overload resolution is used to select the user-defined conversion to be invoked. Assuming that “cv1 T” is the type of the object being initialized, with T a class type, the candidate functions are selected as follows:

  • The converting constructors (12.3.1) of T are candidate functions.
  • When the type of the initializer expression is a class type “cv S”, the conversion functions of S and its base classes are considered. Those that are not hidden within S and yield a type whose cv-unqualified version is the same type as T or is a derived class thereof are candidate functions. Conversion functions that return “reference to X” return lvalues of type X and are therefore considered to yield X for this process of selecting candidate functions.

In both cases, the argument list has one argument, which is the initializer expression. [Note: this argument will be compared against the first parameter of the constructors and against the implicit object parameter of the conversion functions. ]

And 13.3.3.2/3

  • Standard conversion sequence S1 is a better conversion sequence than standard conversion sequence S2 if […] S1 and S2 are reference bindings (8.5.3), and the types to which the references refer are the same type except for top-level cv-qualifiers, and the type to which the reference initialized by S2 refers is more cv-qualified than the type to which the reference initialized by S1 refers.

More Related Contents:

  1. What is the meaning of “operator bool() const”
  2. The copy constructor and assignment operator
  3. I am trying to develop a Complex number calculator. [closed]
  4. What is this weird colon-member (” : “) syntax in the constructor?
  5. How to convert string to char array in C++?
  6. Why does C++ need the scope resolution operator?
  7. Scope of variables in if statements
  8. How can I initialize C++ object member variables in the constructor?
  9. What does ‘&’ do in a C++ declaration?
  10. How can i use member initialization list to initialize an array?
  11. Multiple preincrement operations on a variable in C++(C ?)
  12. Do I really need to implement user-provided constructor for const objects?
  13. Can class template constructors have a redundant template parameter list in c++20
  14. Why is “operator void” not invoked with cast syntax?
  15. Struct Constructor in C++?
  16. Convert float to std::string in C++
  17. Initializing a union with a non-trivial constructor
  18. C++ floating point to integer type conversions
  19. Constructor initialization Vs assignment
  20. C++11 anonymous union with non-trivial members
  21. No matching function for call to Class Constructor
  22. Fastest way to Convert String to Binary?
  23. How can CString be passed to format string %s?
  24. What is the difference between “::” “.” and “->” in c++ [duplicate]
  25. Using C++ base class constructors?
  26. What does ‘**’ mean in C?
  27. Convert std::variant to another std::variant with super-set of types
  28. How to convert int to string in C++
  29. C++ Member Initializer List
  30. How can I initialize C++ class data members in the constructor?

Leave a Comment