复制初始化 - 从'int'转换为非标量类型

Question

我想知道如何定义类my_int,以便int中的转换std::complex< my_int >由编译器完成,而不是由我手动完成.

如果4未转换为" my_int",则以下程序无法编译

// Example program
#include <iostream>
#include <string>
#include <complex>

struct my_int
{
    my_int() : _i(0) {}
    my_int(const my_int& mi) : _i(mi._i) {}

    my_int(int i) : _i(i) {}
    operator int(){return _i;}

    int _i;
};

std::ostream& operator<<(std::ostream& os, const my_int& mi)
{
    os << mi._i;
    return os;
}

int main()
{
  std::complex<my_int> ci = 4; // Casting 4 to my_int works

  std::cout << ci;
}

我知道,如果你初始化ci与std::complex<my_int> ci(4)它的工作原理,但我想它与拷贝初始化工作.

Answer 1

表面上的问题是在复制初始化上下文中不允许多个用户定义的转换，可以通过使用直接初始化上下文来解决，例如

std::complex<my_int> ci{4}; 

然而，还有另一个隐藏的问题：为, or以外的任何类型实例化模板复合体的效果是未指定的floatdoublelong double，因此您必须显式地对其进行专门化，正如 StoryTeller 在评论中指出的那样。