std::same_as (自 C++20 起)
来自 cppreference.com
定义在头文件 <concepts> 中 |
||
template< class T, class U > concept same_as = /* see below */; |
(自 C++20 起) | |
概念 same_as<T, U>
当且仅当 T
和 U
表示相同类型时满足。
std::same_as<T, U> 包含 std::same_as<U, T> 反之亦然。
内容 |
[编辑] 可能的实现
namespace detail { template< class T, class U > concept SameHelper = std::is_same_v<T, U>; } template< class T, class U > concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>; |
[编辑] 示例
运行此代码
#include <concepts> #include <iostream> template<typename T, typename ... U> concept IsAnyOf = (std::same_as<T, U> || ...); template<typename T> concept IsPrintable = std::integral<T> || std::floating_point<T> || IsAnyOf<std::remove_cvref_t<std::remove_pointer_t<std::decay_t<T>>>, char, wchar_t>; void println(IsPrintable auto const ... arguments) { (std::wcout << ... << arguments) << '\n'; } int main() { println("Example: ", 3.14, " : ", 42, " : [", 'a', L'-', L"Z]"); }
输出
Example: 3.14 : 42 : [a-Z]
[编辑] 参考文献
- C++23 标准 (ISO/IEC 14882:2024)
- 18.4.2 概念
same_as
[concept.same]
- 18.4.2 概念
- C++20 标准 (ISO/IEC 14882:2020)
- 18.4.2 概念
same_as
[concept.same]
- 18.4.2 概念
[编辑] 另请参见
(C++11) |
检查两种类型是否相同 (类模板) |