主页 / user-4671252

AndyMcoy's questions

Martin Hope
AndyMcoy
Asked: 2024-08-02 06:28:31 +0800 CST
  • 10

下面是一个 C++ 代码片段，演示了一个Foo包装 的类std::optional<double>，为double和提供转换运算符std::optional<double>。

#include <iostream>
#include <optional>

class Foo {
public:
  operator double() const {
    std::cout << "Foo::operator double()" << std::endl;
    return {};
  }

  operator std::optional<double>() const {
    std::cout << "Foo::operator std::optional<double>()" << std::endl;
    return {};
  }
};

int main() {
  Foo foo;
  std::optional<double> value;
  
  // Outputs "Foo::operator double()"
  value = foo; 
}

令我惊讶的是，当将 的实例分配Foo给 a 时std::optional<double>，调用的是 的转换运算符double，而不是 的转换运算符std::optional<double>。

当我std::optional用自己的自定义Optional类替换时，如下所示，编译器选择了另一个转换运算符。

#include <iostream>

template<class T>
class Optional {
public:
  T val;
  
  Optional() = default;
  
  Optional(T) {
    std::cout << "Optional(T)" << std::endl;
  }
  
  Optional(Optional&&) noexcept {
    std::cout << "Optional(Optional&&)" << std::endl;
  }

  Optional(const Optional<T>&) {
    std::cout << "Optional(const Optional&)" << std::endl;
  }

  Optional& operator=(Optional&&) noexcept {
    std::cout << "Optional::operator=(Optional&&)" << std::endl;
    return *this;
  }

  operator const T& () const {
    std::cout << "Optional::operator const T&()" << std::endl;
    return val;
  }
};

class Foo {
public:
  operator double() const {
    std::cout << "Foo::operator double()" << std::endl;
    return {};
  }

  operator Optional<double>() const { 
    std::cout << "Foo::operator Optional<double>()" << std::endl;
    return {};
  }
};

int main() {
  Foo foo;
  Optional<double> value;

  // Outputs
  //   Foo::operator Optional<double>()
  //   Optional::operator=(Optional&&)
  value = foo;
}

为什么编译器在每种情况下都会选择不同的转换运算符？

c++