- tuple[meta header]
- std[meta namespace]
- class template[meta id-type]
- cpp11[meta cpp]
namespace std {
template <class... Args>
class tuple;
}tuple型は、複数の型の値を保持する「タプル」を表現するためのクラスである。
pair型は2つの型の値を保持する「組」を表現することができるが、tupleではN個の型の値を扱うことができる。
| 名前 |
説明 |
対応バージョン |
get |
tupleのi番目の要素を参照する |
C++11 |
| 名前 |
説明 |
対応バージョン |
swap |
2つのtupleオブジェクトを入れ替える |
C++11 |
#include <iostream>
#include <tuple>
#include <string>
int main()
{
// 3要素のタプルを作る
std::tuple<int, char, std::string> t = std::make_tuple(1, 'a', "hello");
// 0番目の要素を参照
int& i = std::get<0>(t);
std::cout << i << std::endl;
// 2番目の要素を参照
std::string& s = std::get<2>(t);
std::cout << s << std::endl;
}
- std::get[link tuple/get.md]
- std::make_tuple[link make_tuple.md]
#include <iostream>
#include <tuple>
#include <string>
// 関数から複数の値を返す
std::tuple<int, char, std::string> f()
{
// std::make_tuple()はほとんどの状況で必要ない
return {1, 'a', "hello"};
}
int main()
{
// 構造化束縛でタプルを分解して、それぞれの要素を代入
auto [a, b, c] = f();
std::cout << a << std::endl;
std::cout << b << std::endl;
std::cout << c << std::endl;
}
- std::make_tuple[link make_tuple.md]
C++23 でzip_viewなどが追加されたことに伴い、すべての要素がプロキシ参照であるようなtupleはプロキシ参照として使用することが出来るようになった。
#include <iostream>
#include <tuple>
#include <string_view>
#include <format>
struct A
{
A(int i, double d)
: i(i)
, d(d)
{}
std::tuple<int&, double&> f()
{
// this が A* なので
// i: int
// d: double
// ということと同じ
return {i, d};
}
std::tuple<const int&, const double&> f() const
{
// this が const A* なので
// i: const int
// d: const double
// ということと同じ
return {i, d};
}
private:
int i;
double d;
};
int main()
{
// プロキシ参照である tuple の性質
{
A a{0, 0.0};
// std::tuple<int&, double&>
/***/ auto /***/ proxy = a.f();
// const std::tuple<int&, double&>
const auto const_proxy = a.f();
// std::tuple<const int&, const double&>
/***/ auto /***/ proxy_to_const = std::as_const(a).f();
// const std::tuple<const int&, const double&>
const auto const_proxy_to_const = std::as_const(a).f();
// OK（各要素が指すオブジェクトの値について、代入操作がなされる）
proxy = a.f();
const_proxy = a.f();
// NG（各要素が指すオブジェクトを変更できない！）
// proxy_to_const = a.f();
// const_proxy_to_const = a.f();
}
// 使い方
{
auto print = [](std::string_view prefix, A& a) {
// 構造化束縛で分解
// i: int&
// d: double&
auto [i, d] = a.f();
std::cout << std::format("{}: i={}, d={}\n", prefix, i, d);
};
A a{0, 0.0}, b{1, 1.0};
print("before a", a);
print("before b", b);
// プロキシ参照として使える tuple 同士の swap 操作で
// 問題なく各要素が指す先のオブジェクトについて swap 操作が行える
std::ranges::swap(a.f(), b.f());
print("after a", a);
print("after b", b);
}
}
before a: i=0, d=0
before b: i=1, d=1
after a: i=1, d=1
after b: i=0, d=0
- Clang: 3.0 [mark verified]
- GCC: 4.3.4 [mark verified], 4.4.4 [mark verified], 4.5.2 [mark verified], 4.6.1 [mark verified]
- ICC: ?
- Visual C++: 2008 [mark verified], 2010 [mark verified]