为什么 boost::any 没有“吸气剂”？

Question

使用 boost::any 非常有用，但令人沮丧的是它没有 getter，而且我们总是必须使用 any_cast 将其转换为我们想要的类型。但为什么没有这样的东西呢？在我看来，下面的一位可能是有用的成员。是不是有什么不好的事情我看不见？

template <class T>
void get(T * handle)
{
    *handle = boost::any_cast<T>(*this);
}

编辑：

我看到的唯一不好的事情是，这个 getter 需要有赋值运算符。

Answer 1

可能是因为它的行为与 any_cast 完全相同，但描述性较差。 any_cast 表示您正在执行强制转换（类型转换）。您正在尝试从any对象中获取值。因此，用户很清楚，如果使用错误的类型调用操作，操作可能会失败。

get 函数对于失败条件不太清楚。我通常不会期望一个简单地名为 get 的函数能够失败。如果确实如此，我不确定它的语义。

如果您想要一个 get 函数，也许您应该使用 boost::variant 来代替。

Answer 2

any_cast 的要点是强制人们不使用模板参数推导，因为转换的失败与否对于精确非常敏感用于构造的类型。

这种用法很清楚：

any x(2); // store an int
double f = any_cast<int>(x); // ok, request for an int, then cast to double

这不是：

int g;
...
x.get(&g); // Ok. For now.

Now替换

int g;

事实上，想象一下现在你重构你的代码，然后用

double g;

，新代码看起来像这样

double g;
... // There can be 100s of lines here
x.get(&g); // This line HAS changed semantics and cast will fail

这可能会让你损失一些半小时的调试时间。