std::same_as
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <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) |
проверяет, являются ли два типа одним и тем же типом (шаблон класса) |
