25

由于引入了 C++17 std::any。现在可以编写这样的代码

#include <iostream>
#include <any>
#include <string>

int main () {
    const double d = 1.2;
    std::any var = d;
    const std::string str = "Hello World";
    var = str;
}

double 被分配给变量var,而不是 astd::string被分配给它。

为什么std::any被介绍了?

我认为这违反了least astonishment rule,因为我很难想到一种情况,可以用它来更清楚地表达我喜欢表达的东西。

有人可以给我一个很好的例子,什么时候std::any是有益的。

https://gcc.godbolt.org/z/-kepOD

4

4 回答 4

26

何时将其
void*用作具有某些有限用例的极其不安全的模式,std::any增加了类型安全性,这就是它具有一些实际用例的原因。

一些可能性:

  • 在库中 - 当库类型必须在不知道可用类型集的情况下保存或传递任何内容时。
  • 解析文件 - 如果您真的无法指定支持的类​​型。
  • 消息传递。
  • 与脚本语言绑定。
  • 为脚本语言实现解释器
  • 用户界面 - 控件可能包含任何内容
  • 编辑器中的实体
    参考
于 2018-10-09T07:27:18.017 回答
6

我将其总结为经典的“在无法避免时使用”。

我只能想到动态类型脚本语言的非性能关键实现来表示来自脚本世界的变量,但即使是这样的延伸(Boost.Spirit/example/qi/compiler_tutorial没有它,对于解析器和运行)。

对于从解析器(例如Boost.Spirit.X3)到库 API(例如ASIO)的所有其他内容,通常会有更快/更好/更具体的替代方案,因为很少有东西是真正的“任何东西”,大多数都比这更具体.

  • std::variant和/或std::optional“几乎任何价值”
  • std::packaged_task/ std::function+ lambdas 用于“带参数的回调”,这将是void*C API 中的一种情况。
  • 等等

具体来说,我不会盲目地将它替换为 a void*,因为它可能会在堆上分配内存,这对于高性能代码可能是致命的。

于 2018-10-09T07:33:36.250 回答
5

std::any是一种词汇类型。当您需要存储一些东西时,您可以使用它作为值。

它有许多“一级”用途:

  1. 当与本身具有此类类型的脚本语言进行交互时,这是很自然的选择。

  2. 当您拥有一个具有高度多态内容的属性树,并且树的结构与树的生产者和消费者解耦时。

  3. 当替换相当于void*通过中间层传递的数据块时,中间层实际上并不关心它携带什么。

在其他情况下,它也可以用作构建块。例如,std::function可以选择将其值存储在std::any

template<class R, class...Args>
struct func<R(Args...)> {
  mutable std::any state;
  R(*f)(std::any& state, Args&&...) = nullptr;
  template<class T>
  void bind(T&& t) {
    state = std::forward<T>(t);
    f = [](std::any& state, Args&&...args)->R {
      return std::any_cast<T&>(state)(std::forward<Args>(args)...);
    };
  }
  R operator()(Args...args)const {
    return f(state, std::forward<Args>(args)...);
  }
};

这是(大部分)的一个非常小的实现std::function。基本上我习惯于any键入擦除复制/移动/销毁。

您可以在其他地方使用它来解决类似的问题(您正在键入擦除某些操作并且还想键入擦除复制/移动/销毁),或者概括它

于 2018-10-09T15:01:54.143 回答
1

它在 Wt 中使用,为表格数据提供非模板接口。

内置和 Wt 类型有到字符串的转换,您可以通过专门注册其他转换Wt::any_traits。这允许将任何内容显示为表中的条目,视图类不必知道它们正在显示的类型的任何信息。

于 2018-10-09T08:33:43.317 回答