namespace std::linalg {
template<class ElementType, class Extents, class Layout, class Accessor>
constexpr auto conjugated(mdspan<ElementType, Extents, Layout, Accessor> a);
}
概要
多次元配列ビューstd::mdspan
に対して、要素値の複素共役変換を行なった新しい多次元配列ビューを作る。
本操作によりmdspan
参照先メモリブロックが書き換えられることはなく、戻り値mdspan
を介した要素アクセス時に複素共役変換が行われる。
戻り値
説明用の型A
を下記の通りとする。
Accessor
がconjugated_accessor
の特殊化のとき、remove_cvref_t<decltype(a.accessor().nested_accessor())>
remove_cvref_t<ElementType>
が算術型のとき、Accessor
remove_cvref_t<ElementType>
と等価な型T
となる任意の部分式E
に対して、宣言template<class T> conj(const T&) = delete;
を含むコンテキストでオーバーロード解決が行わた結果conj(E)
が有効な式ではないとき、Accessor
- そうでなければ、
conjugated_accessor<Accessor>
戻り値は下記の通り。
-
Accessor
がconjugated_accessor
の特殊化のとき、
-
remove_cvref_t<ElementType>
が算術型のとき、a
remove_cvref_t<ElementType>
と等価な型T
となる任意の部分式E
に対して、宣言template<class T> conj(const T&) = delete;
を含むコンテキストでオーバーロード解決が行わた結果conj(E)
が有効な式ではないとき、a
- そうではないとき、
例
#include <cassert>
#include <complex>
#include <linalg>
#include <mdspan>
int main()
{
std::complex<double> arr[] = {{1, 1}, {2, 2}, {3, 3}};
std::mdspan vec0{arr, 3};
// 1+i 2+2i 3+3i
auto vec1 = std::linalg::conjugated(vec0);
// 1-i 2-2i 3-3i
assert(real(vec1[0]) == 1 && imag(vec1[0]) == -1);
// linalg::conjugated適用後のmdspan要素は読み取り専用となり、
// 例えば vec1[0] = {4, 4}; はコンパイルエラーを引き起こす。
}
19
#include <cassert>
#include <complex>
#include <linalg>
#include <mdspan>
int main()
{
std::complex<double> arr[] = {{1, 1}, {2, 2}, {3, 3}};
std::mdspan vec0{arr, 3};
// 1+i 2+2i 3+3i
auto vec1 = std::linalg::conjugated(vec0);
// 1-i 2-2i 3-3i
assert(real(vec1[0]) == 1 && imag(vec1[0]) == -1);
// linalg::conjugated適用後のmdspan要素は読み取り専用となり、
// 例えば vec1[0] = {4, 4}; はコンパイルエラーを引き起こす。
}
出力
バージョン
言語
- C++26
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??