template<class T, class U>
concept different-from = // 説明専用コンセプト
!same_as<remove_cvref_t<T>, remove_cvref_t<U>>;
概要
different-from
は、型T
、U
についてconst
/volatile
修飾を無視して、同じ型でないことを表す説明専用コンセプトである。
備考
N4885 まではnot-same-as
という名称だったが、実際にはsame_as
の否定とは等価ではない(本説明専用コンセプトがconst
/volatile
修飾を無視していることによる)ため、N4892(C++23 のドラフトの1つ)からはdifferent-from
という現行の名称に変更された。
バージョン
言語
- C++20
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??