c++ - 定义 boost 变体类型以传递明确的空值

Question

我想要boost::variant与空状态。所以我定义了一个 boost::variant与 boost::blank作为第一个选择。但是后来我想将其作为函数参数传递:

void f(Variant v);
...
void g()
{
   f(boost::blank{});
}

由于牙套，它看起来不太好看。如果它接受似乎更好 boost::none :

void g()
{
   f(boost::none);
}

但我好像没见过boost::variant<boost::none_t, ...>任何地方。 boost::none_t是 boost::optional 的卫星.可以与 boost::variant 一起使用吗？ ？

Answer 1

您可以只使用默认构造，这将初始化第一个元素类型。

或者你可以定义你自己的 boost::blank 类型常量:

Live On Wandbox

#include <boost/variant.hpp>
#include <iostream>

using Variant = boost::variant<
    boost::blank,
    int,
    std::string>;

void foo(Variant v = {}) {
    std::cout << "foo: " << v.which() << "\n";
}

int main()
{
    foo();
    foo({});
    foo(Variant{});
    foo(boost::blank{});
    
    static constexpr boost::blank blank;
    foo(blank);
    
    foo(42);
    foo("LtUaE");
}

打印

foo: 0
foo: 0
foo: 0
foo: 0
foo: 0
foo: 1
foo: 2