构造函数参数的所有组合

很可能是一个愚蠢的问题，但无论如何。

是否有一种简短的方法来声明采用任意参数组合的构造函数？例如，具有 3 个参数的 ctor 有 2^3 种可能的组合（如下面的模型所示）。

template<typename T>
struct Node{
    Node(Species sp, Edge edge, T data) : sp_m(sp), edge_m(edge), data_m(data) { }

    // Default Ctor, 0 arg
    Node() : Node(Species(), Edge(), T()) { }

    // All combinations of 1 arg
    Node(Species sp): Node(sp,          Edge(), T())  { }
    Node(Edge edge) : Node(Species(),   edge,   T())  { }
    Node(T data)    : Node(Species(),   Edge(), data) { }

    // All combinations of 2 args
    Node(Species sp, Edge edge) : Node(sp,        edge,   T()) { }
    Node(Species sp, T data)    : Node(sp,        Edge(), data){ }
    Node(Edge edge, T data)     : Node(Species(), edge,   data){ }

    Species sp_m;
    Edge    edge_m;
    T       data_m;
};

我可以避免声明所有不同的演员吗？

您可以使用默认参数：

template<typename T>
struct Node{
    explicit Node(Species sp = Species(), Edge edge = Edge(), T data = T()) :
        sp_m(sp), edge_m(edge), data_m(data) { }

    Species sp_m;
    Edge    edge_m;
    T       data_m;
};

注意使用explicit以防止使用构造函数作为隐式转换运算符。 （看这个链接 https://stackoverflow.com/questions/174349/forcing-single-argument-constructors-to-be-explicit-in-c了解更多信息。）

你可以实例化Node具有以下任何模式的对象：

int main()
{
    Species s;
    Edge e;
    int i;

    Node<int> x1 = Node<int>();

    Node<int> x2 = Node<int>(s);
    Node<int> x3 = Node<int>(s, e);
    Node<int> x4 = Node<int>(s, e, i);

    // Can't skip parameters, so supply default parameters when needed:
    Node<int> x5 = Node<int>(Species(), Edge(), i);
}

您不能执行以下操作：

Node<int> x6 = Node<int>(i);

不过，这可能没问题，因为否则在以下情况下调用哪个构造函数会产生歧义：

Node<Species> x6 = Node<Species>(s);

Is s指定sp参数或data范围？