构造函数与数组初始值设定项的歧义

Question

我有一个问题，即在使用 VS2017（C++14、C++17 和 ISO 最新版本）时，我无法将某个构造函数与数组初始值设定项一起使用。

当它应该使用填充了单个元素的容器调用构造函数时，我收到 C2397 conversion from 'double' to 'unsigned int' requires a narrowing conversion 错误。

#include <vector>

class obj
{
public:
    obj(const std::vector<double>& values, unsigned int stride)
        : values_(values), stride_(stride)
    {
    }

    obj(unsigned int m, unsigned int n)
        : stride_(n)
    {
    }

private:
    unsigned int stride_;
    std::vector<double> values_;
};

int main(int argc, char** argv)
{
    obj m(1, 1);                // correct constructor called.
    obj mm({ 42.0 }, 1);        // Error C2397

    return 0;
}

我可以通过明确声明容器来解决这个问题...

    obj mm(std::vector<double>({ 42.0 }), 1);

或者用多个项目初始化容器...

    obj mm({ 42.0, 12.0 }, 1);

后者显然没有用，前者有点烦人，因为它是带有单个物品的容器的角落案例（尽管不是世界末日）。我认为这可能仅对双精度数（没有文字声明）有问题，但是在用文字初始化浮点数时甚至会发生这种情况。即容器是std::vector<float>，以下行仍然与C2397错误。

    obj mm({ 42.0f }, 1);

我不倾向于相信自己没有遇到很多编译器错误（尽管它们显然存在），但是我不禁认为这可能是一个，或者如果不是，标准中是否有任何提及如何处理这种情况。理想情况下，当容器中存在多个项目时，我希望能够在不显式声明容器类型的情况下使用数组初始值设定项。这可能吗？

Answer 1

使用{{ 和}} 是解决所有情况的方法

obj mm({{ 42.0 }}, 1); 

和

obj mm({{ 42.0, 12.0 }}, 1);

虽然在第二种情况下当然没有歧义（使用单括号是利用 brace-elision）。

这个问题很好地介绍了这个主题：Brace elision in std::array initialization

Answer 2

你的意思是以下

obj mm({ 1, 42.0 }, 1);

或以下

obj mm({ { 42.0 } }, 1);

Answer 3

可以将带有std::initializer_list 的构造函数添加到对象中。

示例：

#include <iostream>
#include <vector>

struct Obj {
  std::vector<double> values;
  unsigned stride;

  Obj(std::initializer_list<double> values, unsigned stride = 1):
    values(values), stride(stride)
  {
    std::cout << "Obj::Obj(std::initializer_list<double>, unsigned)\n";
   }

  Obj(const std::vector<double> &values, unsigned stride = 1):
    values(values), stride(stride)
  {
    std::cout << "Obj::Obj(const std::vector<double>&, unsigned)\n";
  }

  Obj(unsigned m, unsigned stride = 1):
    stride(stride)
  {
    std::cout << "Obj::Obj(unsigned, unsigned)\n";
  }
};

int main()
{
  Obj mm({ 42.0f }, 1);
  Obj mm1(1, 1);
  Obj mm2(std::vector<double>({ 42.0 }), 1);
  Obj mm3({ 42.0, 12.0 }, 1);
  Obj mm4(std::vector<double>{ 42.0 }, 1);
}

输出：

Obj::Obj(std::initializer_list<double>, unsigned)
Obj::Obj(unsigned, unsigned)
Obj::Obj(const std::vector<double>&, unsigned)
Obj::Obj(std::initializer_list<double>, unsigned)
Obj::Obj(const std::vector<double>&, unsigned)

Live Demo on coliru