可变参数模板是否足以指定构造类型

Question

我的目标是定义一个模板来创建一个构造类型，例如：

MyCT := foo | bar of int | baz of WeirdClass | bat of (String, MyCT)

在内部，前缀将是枚举类型的字节值，因此： {0} 或 {1,-20} 或 {2,{weirdo:WeirdClass}} 或 {3,{"Like I said",0}} 或 {3,Pair<String,MyCT>{"a",{1,626}}} 等。

看起来可变参数模板的... 语法可能会有所帮助，但我担心以下几点：

1. 可以根据枚举值的个数创建多个构造函数吗？
2. 如果枚举值的个数不等于对应类型的个数，会不会抛出编译时错误？
3. 模板创建的类型本身就是MyCT<ET> 形式的模板，其中ET 是枚举类型。我们如何确保我们可以只使用与枚举值对应的构造函数？
4. 如果MyCT<et> 中的et 不在模板的枚举类型ET 中，我们能否抛出编译时错误？
5. 我们可以这样做以使 MyCT<foo> 类型匹配 MyCT<baz>？

Answer 1

为了让这更有趣，让我们在这个构造类型上定义一个（递归）函数fuz，使用类似 ML 的语法：

let rec fuz = fun (foo)      -> 4
                | (bar b)    -> 2 * b
                | (baz w)    -> w.eird
                | (bat(s,m)) -> length(s) - fuz(m);;

在哪里（比如说）

#type WeirdClass = {eird:int};;

所以我们开始使用 C++ (live example)：

struct WeirdClass { int eird; };

struct MyCT { virtual int fuz() const = 0; };

struct foo : MyCT
{
    virtual int fuz() const override { return 4; };
};

struct bar : MyCT
{
    int b;
    bar(int b) : b(b) { }
    virtual int fuz() const override { return 2 * b; };
};

struct baz : MyCT
{
    WeirdClass w;
    baz(const WeirdClass& w) : w(w) { }
    virtual int fuz() const override { return w.eird; };
};

struct bat : MyCT
{
    std::string s;
    const MyCT& m;
    bat(const std::string& s, const MyCT& m) : s(s), m(m) { }
    virtual int fuz() const override { return s.length() - m.fuz(); };
};

int main()
{
    foo f;
    bar r{-20}, c{626};
    baz z{{8}};
    bat a{"Like I said",f};
    bat t{"no templates needed",c};

    cout << f.fuz() << " " <<  r.fuz() << " "
         << c.fuz() << " " <<  z.fuz() << " "
         << a.fuz() << " " <<  t.fuz() << endl;
}

输出：

4 -40 1252 8 7 -1251

不需要奇怪的可变参数模板。