如何根据initializer\u列表的大小导致编译时错误？

Question

如果我有一个简单的结构

struct Point { int x, y; };

那我就可以了

int main()
{
    Point p1 = { 10 };          // x = 10, y = 0
    Point p2 = { 10, 20 };      // x = 10, y = 20
    Point p3 = { 10, 20, 30 };  // Compile error: too many initializers for ‘Point’
    return 0;
}

现在，我希望在初始化点时有相同的行为，点成为类，但x和y变为私有并使用访问器等。

我的第一次尝试是

class Point
{
public:
    Point( std::initializer_list<int> init )
    {
        switch( init.size() )
        {
            case 0: x = 0; y = 0; break;
            case 1:
            {
                auto iter = init.begin();
                x = *iter++; y = 0;
                break;
            }
            case 2:
            {
                auto iter = init.begin();
                x = *iter++; y = *iter++;
                break;
            }
            default:
                throw 0;
                break;
        }
    }
private:
    int x, y;

};

哪种工作但将编译时错误更改为运行时错误。现在的问题是：我如何使此类的行为与简单结构相同，即当初始化列表太大时导致编译时错误？

环顾四周，我发现

• static_assertinitializer_list::size（）
• 为什么size不是std::initializer_list的模板参数？

通过阅读答案和评论，我理解了一些constexr和static_assert问题，但仍然没有找到解决我问题的方法。是否有可能在C 11（或C 14）中导致编译时错误？编译器肯定知道它需要的所有信息，并且对于某人来说，似乎有足够的可能要做的事情是标准会以某种方式将其卷进来。

Answer 1

没有编译时方法来检索std::initializer_list大小，但您不需要它。

类似于初始值设定项的语法被命名为统一初始化，这是c 11的一部分，以统一语法，作为名称自定义。

这里有一个适用于您的观点的完整示例，如您所见，带有参数的构造函数可以与初始值设定项列表匹配。

#include <iostream>

class Point {
public:
    Point() = default;

    Point( int x, int y ) : x_{x}, y_{y} {}
    Point( int x ) : x_(x) {}

    // or in your case, you can use a default argument
    //Point( int x, int y = int{} ) : x_{x}, y_{y} {}

    int X() const { return x_; }
    int Y() const { return y_; }
private:
    int x_{};
    int y_{};
};

void DisplayPoint( Point const & p) {
    std::cout << "( " << p.X() << ", " << p.Y() << " )" << std::endl;
}

Point GetAPoint() {
    return { 3, 5 };
}

int main() {
    DisplayPoint( {} );
    DisplayPoint( { 1 } );
    DisplayPoint( { 1, 2 } );
    DisplayPoint( GetAPoint() );
    DisplayPoint( Point( 5, 3 ) ); // pre c++11
    DisplayPoint( Point{ 5, 3 } ); // in the case the constructor is explicit
}

Answer 2

通过将初始值设定项列表构造函数替换为如下所示的构造函数。。。

Point(int x, int y) :m_x(x), m_y(y) {}

注意，我将私有变量x和y重写为m_x和m_y。

现在，当您尝试初始化具有多个参数的Point对象时，您将得到一个类似于Point是结构时的编译器错误。