std::same_as
Материал из cppreference.com
| Определено в заголовочном файле <concepts>
|
||
| template < class T, class U > concept same_as = /* смотрите ниже */; |
(начиная с 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("Пример: ", 3.14, " : ", 42, " : [", 'a', L'-', L"Z]"); }
Вывод:
Пример: 3.14 : 42 : [a-Z]
[править] Смотрите также
| (C++11) |
проверяет, являются ли два типа одним и тем же типом (шаблон класса) |
