- simd[meta header]
- std::simd[meta namespace]
- function template[meta id-type]
- cpp26[meta cpp]
namespace std::simd {
template<math-floating-point V>
constexpr deduced-vec-t<V>
copysign(const V& x, const V& y); // (1) C++26
template<math-floating-point V>
constexpr deduced-vec-t<V>
copysign(const deduced-vec-t<V>& x, const V& y); // (2) C++26
template<math-floating-point V>
constexpr deduced-vec-t<V>
copysign(const V& x, const deduced-vec-t<V>& y); // (3) C++26
}- deduced-vec-t[link /reference/simd/deduced-vec-t.md]
- math-floating-point[link /reference/simd/math-floating-point.md]
浮動小数点要素型のbasic_vecについて、各要素x[i]の大きさとy[i]の符号を合成した値を求める。各要素にstd::copysignを適用する。
- (1) : 両オペランドが同じ型の場合のオーバーロード。
- (2), (3) : 一方のオペランドがスカラー値であり、
basic_vecへと変換される場合のオーバーロード。
制約math-floating-pointは、Vが浮動小数点要素型のbasic_vec、またはそれと組み合わせてbasic_vecを導出できる型であることを表す説明専用のコンセプトである。deduced-vec-t<V>は、引数から導出されるbasic_vec型である。
各要素i（0以上deduced-vec-t<V>::size()未満）について、x[i]の大きさとy[i]の符号を持つ値（x[i]とy[i]にstd::copysignを適用した結果）で初期化されたbasic_vecオブジェクトを返す。
ある要素iについて定義域エラー・極エラー・値域エラーが発生する場合、その要素の値は未規定である。
errnoにアクセスするか否かは未規定である。
#include <simd>
#include <print>
namespace simd = std::simd;
int main()
{
simd::vec<float, 4> mag([](int i) { return i + 1.0f; }); // {1, 2, 3, 4}
simd::vec<float, 4> sign([](int i) { return i % 2 ? 1.0f : -1.0f; }); // {-1, 1, -1, 1}
// magの大きさとsignの符号を合成する
simd::vec<float, 4> r = simd::copysign(mag, sign);
for (std::size_t i = 0; i < r.size(); ++i)
std::print("{} ", r[i]);
std::println("");
}- simd::copysign[color ff0000]
- simd::vec[link basic_vec.md]
-1 2 -3 4
- C++26
- Clang: 22 [mark noimpl]
- GCC: 16.1 [mark noimpl]
- Visual C++: 2026 Update 2 [mark noimpl]
- P1928R15 std::simd — merge data-parallel types from the Parallelism TS 2
- C++26で追加された
- P3844R4 Reword simd.math for consteval conversions
<cmath>関数と同様に引数の変換を呼び出し側で行うよう、<simd>の数学関数が複数のオーバーロードとして再規定された（比較関数の戻り値型の修正・不足していたオーバーロードの追加を含む）