• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    function template
    <linalg>

    std::linalg::conjugated

    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を下記の通りとする。

    戻り値は下記の通り。

    • Accessorconjugated_accessorの特殊化のとき、

      mdspan<typename A::element_type, Extents, Layout, A>(
        a.data_handle(), a.mapping(), a.accessor().nested_accessor())
      

    • remove_cvref_t<ElementType>が算術型のとき、a

    • remove_cvref_t<ElementType>と等価な型Tとなる任意の部分式Eに対して、宣言template<class T> conj(const T&) = delete;を含むコンテキストでオーバーロード解決が行わた結果conj(E)が有効な式ではないとき、a
    • そうではないとき、
      mdspan<typename A::element_type, Extents, Layout, A>(
        a.data_handle(), a.mapping(), conjugated_accessor(a.accessor()))
      

    #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

    処理系

    関連項目

    参照