C++三剑客之std::any(一) : 使用详解

2c9a2c9a1cdb4a09ab7d088f4fcb9759.png

相关系列文章

C++三剑客之std::optional(一) : 使用详解

C++三剑客之std::any(一) : 使用详解

C++之std::tuple(一) : 使用精讲(全)

C++三剑客之std::variant(一) : 使用

C++三剑客之std::variant(二)：深入剖析

目录

1.概述

2.构建方式

2.1.构造函数

2.2.std::make_any

2.3.operator=分配新值

3.访问值std::any_cast

4.修改器

4.1.emplace

4.2.reset

4.3.swap

5.观察器

5.1.has_value

5.2.type

6.总结

1.概述

        C++17的三剑客分别是std::optional, std::any, std::vairant。今天主要讲std::any。std::any类用于任何可拷贝构造类型的单个值的类型安全容器。在头文件中，c++标准库定义了类std::any。

  1. namespace std {
  2. class any;
  3. }

       从上面的定义可以看出std::any不是模版类，而是一种很特殊的容器，它只能容纳一个元素，但这个元素可以是任意的类型，可以是基本数据类型（int，double，char，float...）也可以是复合数据类型（类、结构体）。

        std: any是一种值类型，它能够更改其类型，同时仍然具有类型安全性。也就是说，对象可以保存任意类型的值，但是它们知道当前保存的值是哪种类型。在声明此类型的对象时，不需要指定可能的类型。

2.构建方式

2.1.构造函数

默认情况下，std::any的初始值为空。如：

std::any  a;

也可以赋初值，初始化对象std::any, 如：

  1. std::any a = 32; //type: int
  2. std::any b = "wegrthweg"; type : const chr*

要保存与初始值类型不同的类型，必须使用in_place_type标记：

  1. std::any a{std::in_place_type<int>, 420};
  2. std::any b{std::in_place_type, "asdfbsrghtr34"};

即使传递给in_place_type的类型也会退化。下面的声明包含一个const char*:

std::any a{std::in_place_type<const char[6]>, "12345"};

要通过多个参数初始化可选对象，必须创建该对象或将std::in_place_type添加为第一个参数(不能推断包含的类型):

  1. std::any a1{std::complex{6.0, 2.0}};
  2. std::any a2{std::in_place_typedouble>>, 6.0, 2.0};

甚至可以传递一个初始化器列表，后面跟着附加的参数:

  1. auto func = [] (int x, int y) { return std::abs(x) < std::abs(y);};
  2.  
  3. std::any a{std::in_place_typeint,decltype(func)>>, {3, 7, -1, -16, 1, 100}, func};

2.2.std::make_any

std::make_any的定义如下：

  1. //[1]
  2. template< class T, class... Args >
  3. std::any make_any( Args&&... args );
  4. //[2]
  5. template< class T, class U, class... Args >
  6. std::any make_any( std::initializer_list il, Args&&... args );

构造含 T 类型对象的 any 对象，传递提供的参数给 T 的构造函数。

1) 等价于 return std::any(std::in_place_type, std::forward(args)...);

2) 等价于 return std::any(std::in_place_type, il, std::forward(args)...);

std::make_any必须显式指定初始化的类型(如果只传递一个参数，则不会推导出初始化的类型)，如：

  1. #include 
  2. #include 
  3. #include 
  4. #include 
  5. #include 
  6.  
  7. int main()
  8. {
  9.     auto a0 = std::make_any("Hello, std::any!\n");
  10.     auto a1 = std::make_anydouble>>(0.1, 2.3);
  11.  
  12.     std::cout << std::any_cast(a0);
  13.     std::cout << std::any_castdouble>&>(a1) << '\n';
  14.  
  15.     using lambda = std::function<void(void)>;
  16.  
  17.     // 把 lambda 放入 std::any。尝试 #1 （失败）。
  18.     std::any a2 = [] { std::cout << "Lambda #1.\n"; };
  19.     std::cout << "a2.type() = \"" << a2.type().name() << "\"\n";
  20.  
  21.     // any_cast 转型到  但实际类型不是
  22.     // std::function ……，而是 ~ main::{lambda()#1} ，且它对
  23.     // 每个 lambda 唯一。所以这会抛出……
  24.     try {
  25.         std::any_cast(a2)();
  26.     }
  27.     catch (std::bad_any_cast const& ex) {
  28.         std::cout << ex.what() << '\n';
  29.     }
  30.  
  31.     // 将 lambda 放入 std::any 中。尝试 #2 （成功）
  32.     auto a3 = std::make_any([] { std::cout << "Lambda #2.\n"; });
  33.     std::cout << "a3.type() = \"" << a3.type().name() << "\"\n";
  34.     std::any_cast(a3)();
  35. }

输出：

  1. Hello, std::any!
  2. (0.1,2.3)
  3. a2.type() = "Z4mainEUlvE_"
  4. bad any_cast
  5. a3.type() = "St8functionIFvvEE"
  6. Lambda #2.

2.3.operator=分配新值

operator=的定义如下：

  1. //[1]
  2. any& operator=( const any& rhs );
  3. //[2]
  4. any& operator=( any&& rhs ) noexcept;
  5. //[3]
  6. template<typename ValueType>
  7. any& operator=( ValueType&& rhs );

1) 通过复制 rhs 的状态赋值，如同用 any(rhs).swap(*this)。

2) 通过移动 rhs 的状态赋值，如同用 any(std::move(rhs)).swap(*this)。赋值后 rhs 留在有效但未指定的状态。

3) 以 rhs 的类型和值赋值，如同用 any(std::forward(rhs)).swap(*this)。此重载只有在 std::decay_t 与 any 不是同一类型且 std::is_copy_constructible_v<std::decay_t> 为 true 时才会参与重载决议。std::decay_t 必须满足可复制构造条件。示例如下：

  1. std::any a = 1223;
  2. std::any b = "2222222";
  3. a = b; //[1]
  4. b = 6.34655; //[3]
  5. a = std::make_any(6.0, 2.0); //[2]

上面代码执行a = b调用的是第1个赋值函数，b=6.34655调用的是第3个赋值函数，a = std::make_any(6.0, 2.0) 是调用的第2个赋值函数。

3.访问值std::any_cast

std::any_cast的定义：

  1. //[1]
  2. template< class T >
  3. T any_cast( const any& operand );
  4. //[2]
  5. template< class T >
  6. T any_cast( any& operand );
  7. //[3]
  8. template< class T >
  9. T any_cast( any&& operand );
  10. //[4]
  11. template< class T >
  12. const T* any_cast( const any* operand ) noexcept;
  13. //[5]
  14. template< class T >
  15. T* any_cast( any* operand ) noexcept;

要访问包含的值，必须使用std::any_cast<>将其转换为其类型。将该值转换为一个字符串，有几个选项: 

  1. std::any_cast(a) // yield copy of the value
  2. std::any_cast(a); // write value by reference
  3. std::any_cast<const std::string&>(a); // read-access by reference

在这里，如果转换失败，将抛出std::bad_any_cast异常。因此，在不检查或不知道类型的情况下，最好实现以下功能: 

  1. try {
  2.     auto s = std::any_cast(a);
  3.     ...
  4. }
  5. catch (std::bad_any_cast& e) {
  6.     std::cerr << "EXCEPTION: " << e.what() << '\n';
  7. }

注意，std::any_cast<>创建了一个传递类型的对象。如果将std::string作为模板参数传递给std::any_cast<>，它将创建一个临时string(一个prvalue)，然后用它初始化新对象。如果没有这样的初始化，通常最好转换为引用类型，以避免创建临时对象:

std::cout << std::any_cast<const std::string&>(a);

要修改该值，需要转换为对应的引用类型:

std::any_cast(a) = "2134y56";

根据上面的第4或5个转换函数定义还可以为std::any对象的地址调用std::any_cast。在这种情况下，如果类型匹配，则强制转换返回相应的地址指针;如果不匹配，则返回nullptr:

  1. auto p = std::any_cast(&a);
  2. if (p) {
  3.     ...
  4. }

下面再看一个例子：

  1. #include 
  2. #include 
  3. #include 
  4. #include 
  5. #include 
  6.  
  7. int main()
  8. {
  9.     // 简单示例
  10.     auto a1 = std::any(12);
  11.     std::cout << "1) a1 是 int：" << std::any_cast<int>(a1) << '\n';
  12.  
  13.     try
  14.     {
  15.         auto s = std::any_cast(a1); // 抛出
  16.     }
  17.     catch (const std::bad_any_cast& e)
  18.     {
  19.         std::cout << "2) " << e.what() << '\n';
  20.     }
  21.  
  22.     // 指针示例
  23.     if (int* i = std::any_cast<int>(&a1))
  24.         std::cout << "3) a1 是 int：" << *i << '\n';
  25.     else if (std::string* s = std::any_cast(&a1))
  26.         std::cout << "3) a1 是 std::string：" << *s << '\n';
  27.     else
  28.         std::cout << "3) a1 是另一类型，或者没有设置\n";
  29.  
  30.     // 进阶示例
  31.     a1 = std::string("hello");
  32.     auto& ra = std::any_cast(a1); //< 引用
  33.     ra[1] = 'o';
  34.  
  35.     std::cout << "4) a1 是字符串："
  36.               << std::any_castconst&>(a1) << '\n'; //< const 引用
  37.  
  38.     auto s1 = std::any_cast(std::move(a1)); //< 右值引用
  39.     // 注意：“s1” 是移动构造的 std::string：
  40.     static_assert(std::is_same_v<decltype(s1), std::string>);
  41.  
  42.     // 注意：“a1” 中的 std::string 被置于合法但未指定的状态
  43.     std::cout << "5) a1.size()："
  44.               << std::any_cast(&a1)->size() //< 指针
  45.               << '\n'
  46.               << "6) s1：" << s1 << '\n';
  47. }

输出：

  1. 1) a1 是 int：12
  2. 2) bad any_cast
  3. 3) a1 是 int：12
  4. 4) a1 是 string：hollo
  5. 5) a1.size()：0
  6. 6) s1：hollo

4.修改器

4.1.emplace

更改所含对象，直接构造新对象，示例如下：

  1. #include 
  2. #include 
  3. #include 
  4. #include 
  5. #include 
  6.  
  7. class Star
  8. {
  9.     std::string name;
  10.     int id;
  11.  
  12. public:
  13.     Star(std::string name, int id) : name { name }, id { id }
  14.     {
  15.         std::cout << "Star::Star(string, int)\n";
  16.     }
  17.  
  18.     void print() const
  19.     {
  20.         std::cout << "Star{ \"" << name << "\" : " << id << " };\n";
  21.     }
  22. };
  23.  
  24. auto main() -> int
  25. {
  26.     std::any celestial;
  27.     // (1) emplace( Args&&... args );
  28.     celestial.emplace("Procyon", 2943);
  29.     const auto* star = std::any_cast(&celestial);
  30.     star->print();
  31.  
  32.     std::any av;
  33.     // (2) emplace( std::initializer_list il, Args&&... args );
  34.     av.emplacechar>>({ 'C', '+', '+', '1', '7' } /* 无参数 */ );
  35.     std::cout << av.type().name() << '\n';
  36.     const auto* va = std::any_castchar>>(&av);
  37.     std::for_each(va->cbegin(), va->cend(), [](char const& c) { std::cout << c; });
  38.     std::cout << '\n';
  39. }

输出：

  1. Star::Star(string, int)
  2. Star{ "Procyon" : 2943 };
  3. St6vectorIcSaIcEE
  4. C++17

4.2.reset

销毁所含对象。

4.3.swap

交换两个std::any。

5.观察器

5.1.has_value

检查对象是否含有值，若实例含值则为 true ，否则为 false 。示例如下：

  1. #include 
  2. #include 
  3. #include 
  4.  
  5. int main()
  6. {
  7.     std::boolalpha(std::cout);
  8.  
  9.     std::any a0;
  10.     std::cout << "a0.has_value(): " << a0.has_value() << "\n";
  11.  
  12.     std::any a1 = 42;
  13.     std::cout << "a1.has_value(): " << a1.has_value() << '\n';
  14.     std::cout << "a1 = " << std::any_cast<int>(a1) << '\n';
  15.     a1.reset();
  16.     std::cout << "a1.has_value(): " << a1.has_value() << '\n';
  17.  
  18.     auto a2 = std::make_any("Milky Way");
  19.     std::cout << "a2.has_value(): " << a2.has_value() << '\n';
  20.     std::cout << "a2 = \"" << std::any_cast(a2) << "\"\n";
  21.     a2.reset();
  22.     std::cout << "a2.has_value(): " << a2.has_value() << '\n';
  23. }

输出：

  1. a0.has_value(): false
  2. a1.has_value(): true
  3. a1 = 42
  4. a1.has_value(): false
  5. a2.has_value(): true
  6. a2 = "Milky Way"
  7. a2.has_value(): false

5.2.type

查询所含类型，若实例非空则为所含值的 typeid ，否则为 typeid(void) 。示例如下：

  1. #include 
  2. #include 
  3. #include 
  4. #include 
  5. #include 
  6. #include 
  7. #include 
  8. #include 
  9. #include 
  10.  
  11. template<class T, class F>
  12. inline std::pair<const std::type_index, std::function<void(std::any const&)>>
  13.     to_any_visitor(F const &f)
  14. {
  15.     return {
  16.         std::type_index(typeid(T)),
  17.         [g = f](std::any const &a)
  18.         {
  19.             if constexpr (std::is_void_v)
  20.                 g();
  21.             else
  22.                 g(std::any_castconst&>(a));
  23.         }
  24.     };
  25. }
  26.  
  27. static std::unordered_map<
  28.     std::type_index, std::function<void(std::any const&)>>
  29.     any_visitor {
  30.         to_any_visitor<void>([]{ std::cout << "{}"; }),
  31.         to_any_visitor<int>([](int x){ std::cout << x; }),
  32.         to_any_visitor<unsigned>([](unsigned x){ std::cout << x; }),
  33.         to_any_visitor<float>([](float x){ std::cout << x; }),
  34.         to_any_visitor<double>([](double x){ std::cout << x; }),
  35.         to_any_visitor<char const*>([](char const *s)
  36.             { std::cout << std::quoted(s); }),
  37.         // ……添加更多你的类型的特化……
  38.     };
  39.  
  40. inline void process(const std::any& a)
  41. {
  42.     if (const auto it = any_visitor.find(std::type_index(a.type()));
  43.         it != any_visitor.cend()) {
  44.         it->second(a);
  45.     } else {
  46.         std::cout << "Unregistered type "<< std::quoted(a.type().name());
  47.     }
  48. }
  49.  
  50. template<class T, class F>
  51.     inline void register_any_visitor(F const& f)
  52. {
  53.     std::cout << "Register visitor for type "
  54.               << std::quoted(typeid(T).name()) << '\n';
  55.     any_visitor.insert(to_any_visitor(f));
  56. }
  57.  
  58. auto main() -> int
  59. {
  60.     std::vector va { {}, 42, 123u, 3.14159f, 2.71828, "C++17", };
  61.  
  62.     std::cout << "{ ";
  63.     for (const std::any& a : va) {
  64.         process(a);
  65.         std::cout << ", ";
  66.     }
  67.     std::cout << "}\n";
  68.  
  69.     process(std::any(0xFULL)); //< 反注册 "y" 的类型（ unsigned long long ）
  70.     std::cout << '\n';
  71.  
  72.     register_any_visitor<unsigned long long>([](auto x) {
  73.         std::cout << std::hex << std::showbase << x; 
  74.     });
  75.  
  76.     process(std::any(0xFULL)); //< OK ： 0xf
  77.     std::cout << '\n';
  78. }

输出: 

  1. { {}, 42, 123, 3.14159, 2.71828, "C++17", }
  2. Unregistered type "y"
  3. Register visitor for type "y"
  4. 0xf

6.总结

        std::any是一个动态类型变量，可以存储任何类型的值。它是由C++17引入的一个新特性。std::any的设计目标是提供一种类型安全且易于使用的方式来在运行时处理各种类型的数据，因为任何错误的类型转换都会在运行时抛出异常。然而，std::any也有一些缺点。首先，因为std::any在运行时并不知道它存储的数据的具体类型，所以我们需要显式地进行类型转换。这可能会使代码变得复杂和难以理解。其次，std::any的性能可能不如其他类型，因为它需要在运行时进行类型检查和类型转换。

        总之，只要掌握了这些std::any的特性，明白了它的使用场景，才能灵活的使用std::any。

参考：std::any - cppreference.com

 

注：本文转载自blog.csdn.net的流星雨爱编程的文章"https://blog.csdn.net/haokan123456789/article/details/136060879"。版权归原作者所有，此博客不拥有其著作权，亦不承担相应法律责任。如有侵权，请联系我们删除。
复制链接
相关推荐
发表评论

评论记录：

未查询到任何数据！