std::any(C++17)

namespace std {
  class any;
}

概要

anyクラスは、コピー可能なあらゆる型の値を保持できる記憶域型である。保持する値と型は動的に切り替えることができる。

std::any x = 3; // int型の値3で初期化
x = std::string("Hello"); // std::string型の値"Hello"を再代入

// 値を取り出す
std::string s = std::any_cast<std::string>(x);
assert(s == "Hello");

anyクラスは、古くからあったvoid*をより便利にし、オブジェクトの寿命管理と実行時型情報の機能が付加された型であると言える。

このクラスと同様のことは、たとえばstd::shared_ptr<void>でも行えるが、その場合はポインタの意味論で値を保持することになり、anyの場合は値の意味論で値を保持することになる。また、std::variantクラスも似たようなことができるが、その違いは、variantが代入されうる型の候補が静的に既知であることに対し、anyはその候補を実行時まで遅らせることができるということである。同じことを実現するためにどの設計を採用するかはプログラマに委ねられる。

使用例：

• イベントハンドラに渡されるパラメータの型として使用する
  • list<function<void(any)>>のようなイベントのリストを保持しておき、たとえば0番目のイベントハンドラにはマウスクリック、1番目のイベントハンドラにはボタンクリックに使用すると想定する
  • マウスクリックにはイベントの引数としてクリックした位置情報 (xとy) が渡され、ボタンクリックにはイベントの引数としてボタンのIDが渡される、というような、イベントの種類ごとに引数の型が異なるという状況がでてくる
  • イベントの種類ごとに異なるイベント変数 (function<void(Point)>とfunction<void(ButtonID)>) を用意するかまとめて扱うかで設計選択があるが、そこでanyを使用するという選択肢がありうる

要件

• 代入する型はコピー構築可能であること

備考

• 実装は、小さなオブジェクトを保持するためには動的メモリ確保を回避するべきである。そのようなsmall-object optimizationは、代入される型Tがstd::is_nothrow_move_constructible_v<T> == trueの場合にのみ適用されること

メンバ関数

構築・破棄

代入

値の観測

非メンバ関数

ヘルパ関数

値の取り出し

値の入れ替え

例

#include <iostream>
#include <any>

int main()
{
  // int型の値を代入して取り出す
  std::any x = 3;
  int n = std::any_cast<int>(x);

  std::cout << n << std::endl;

  // 文字列を再代入して取り出す
  x = "Hello";
  const char* s = std::any_cast<const char*>(x);

  std::cout << s << std::endl;

  // 間違った型で取り出そうとすると例外が送出される
  try {
    std::any_cast<double>(x);
  }
  catch (std::bad_any_cast& e) {
    std::cout << e.what() << std::endl;
  }
}

出力例

3
Hello
bad any_cast

バージョン

言語

• C++17

処理系

• Clang: 4.0.1
• GCC: 7.3
• Visual C++: ??

参照

• P0220R1 Adopt Library Fundamentals V1 TS Components for C++17 (R1)
• P0032R0 Homogeneous interface for variant, any and optional
• P0032R1 Homogeneous interface for variant, any and optional (Revision 1)
• P0032R2 Homogeneous interface for variant, any and optional (Revision 2)
• P0032R3 Homogeneous interface for variant, any and optional (Revision 3)