将具有不同类型的向量作为初始化列表传递给函数

Question

我有这个 没有工作 代码，它应该展示我想要实现的目标：

class Member
{
    const char * someText;
    union Parameter
    {
        const char * ptrParameter;
        double       doubleParameter;
        uint         uintParameter;
    };
};

class MyClass
{
    auto foo( std::vector<Member> & ) -> void;
};

int main()
{
    MyClass instance;

    instance.foo( 
        {
            { "SomeText", "TextParameter" },
            { "SomeDouble", 3.14159 },
            { "SomeUint",   32767 }
        }
                );
}

---

我想要达到的目标：

1. MyClass::foo 需要 std::vector<Member> 作为参数。
2. 此向量应直接从初始化列表传递。
3. Member 的第二个参数可以有不同的类型，这里用 用union Parameter 表示。
4. 如何检测 MyClass::foo 中的哪些类型已通过？
5. union Parameter 中的类型只能是描述的这 3 个。

我尝试了很多，但由于我是 C++ 初学者，我没有成功。

---

我正在使用 C++17 - Boost 不是一个选项。如何实现？

Answer 1

您可以与std::variant 非常接近：

class Member
{
    const char * someText;
    std::variant<const char *, double, unsigned int> parameter;
};

但是您需要进行一些额外的更改才能允许您想要的初始化类型：

• 字段需要为public 以允许聚合初始化（编译器的内置初始化来自{ a, b }），但class 类型默认具有private 字段。在这种情况下，我会将class 更改为struct。

• auto foo( std::vector<Member> & ) -> void 通过左值引用获取std::vector<Member>，但您希望允许使用临时向量调用它。在那种情况下，我不会使用参考。我会按价值接受std::vector<Member>。

• { "SomeUint", 32767 } 将不是有效的初始化程序，因为 32767 的类型为 signed int。它可以同时转换为double 和unsigned int，编译器将无法确定您想要哪个。您可以编写32767u 来获得unsigned int 类型的常量。 （我假设这就是您的 uint 的类型定义。）

我如何检测 MyClass::foo 中的哪些类型已通过？

最好的方法取决于你这样做的原因。如果您想根据所持有的值执行不同的代码，请使用visit。如果您只想有条件地执行一种类型的代码，请使用get_if。如果您只想检查，但对值本身不做任何事情，请使用 index 或 holds_alternative。