Template для определенных типов

@k0vpack · Регистрация: 13.02.2018

Author24 — интернет-сервис помощи студентам

Доброго времени суток, можно ли сделать template для определенных типов данных? К примеру:

C++

template <long>
template <int T>
template <class MyClass>
void func(T t)
{
 
}

@Undisputed · 09.10.2019, 22:47

Насколько я понял вам нужно сделать так что бы шаблон принимал только указанные типы?
Вот решение для С++17

C++

#include <iostream>
#include <type_traits>
 
template<class T, class... Args>
inline constexpr bool is_one_of = (std::is_same_v<T, Args> || ...);
 
class MyClass;
 
template<typename T>
typename std::enable_if<is_one_of<T, long, int, MyClass>, void>::type
func(T arg)
{
    std::cout << "arg = " << arg << '\n';
}
 
int main()
{
    int n1 = 1;
    long n2 = 2;
    [[maybe_unused]] double n3 = 3;
    func(n1);
    func(n2);
    // func(n3); compile error
}

@k0vpack · 10.10.2019, 17:41 **[ТС]**

Undisputed, а если нужно для С++ 11, или даже С++ 99? Можно ли?

@Azazel-San · 10.10.2019, 17:59

Сообщение от k0vpack

а если нужно для С++ 11

C++

template<typename T, typename... Args>
struct is_any : std::false_type {};
 
template<typename T, typename U>
struct is_any<T, U> : std::is_same<T, U> {};
 
template<typename T, typename U, typename... Args>
struct is_any<T, U, Args...>
    : std::integral_constant<bool, std::is_same<T, U>::value || is_any<T, Args...>::value>
{};

Сообщение от k0vpack

С++ 99?

Такого стандарта нету. Есть с++98.

Сообщение от k0vpack

Можно ли?

Да.

Добавлено через 6 минут
Но лучше без рекурсии:

C++

// C++11
template <typename... Args>
struct pack {};
 
template <typename T, typename... Args>
struct is_any : std::is_same<pack<T, Args...>, pack<Args..., T>>
{};

@k0vpack · 10.10.2019, 18:01 **[ТС]**

Azazel-San, можно с явным примером?

@Azazel-San · 10.10.2019, 18:43

k0vpack, все так же, почти:

C++

template<typename T, typename... Args>
struct is_any : std::false_type {};
 
template<typename T, typename U>
struct is_any<T, U> : std::is_same<T, U> {};
 
template<typename T, typename U, typename... Args>
struct is_any<T, U, Args...>
    : std::integral_constant<bool, std::is_same<T, U>::value || is_any<T, Args...>::value>
{};
 
template<typename T> 
typename std::enable_if<
    is_any<T, int, float>::value
, void>::type func(T t) noexcept {
    std::cout << "t = " << t << '\n';
}
 
int main() {
    int i;
    char c;
    func(i);
    // func(c); error
}

Добавлено через 6 минут

Сообщение от Azazel-San

Но лучше без рекурсии:

А это чуть другое, погорячился.
Это не is_any, a is_all

Добавлено через 19 минут

Сообщение от Azazel-San

is_all

На основе этого можно сделать conjunction

C++

#include <type_traits>
#include <iostream>
 
template <bool... Args>
struct pack {};
 
template <typename... Args>
struct conjunction : std::is_same<pack<true, Args::value...>, pack<Args::value..., true>>
{};
 
template<typename T, typename... Args>
typename std::enable_if<conjunction<std::is_same<T, Args>...>::value>::type
func(T, Args...) {
    std::cout << "all types in pack are T\n";
}
 
template<typename T, typename... Args>
typename std::enable_if<!conjunction<std::is_same<T, Args>...>::value>::type
func(T, Args...) {
    std::cout << "not all types in pack are T\n";
}
 
int main() {
    func(1, 2, 3);
    func(1, 2, "hello!");
}

@TheCalligrapher · 10.10.2019, 18:49

Сообщение от Azazel-San

Но лучше без рекурсии:

C++

// C++11
template <typename... Args>
struct pack {};
 
template <typename T, typename... Args>
struct is_any : std::is_same<pack<T, Args...>, pack<Args..., T>>
{};

И что же должен определять этот шаблон?

@Azazel-San · 10.10.2019, 18:54

Сообщение от TheCalligrapher

И что же должен определять этот шаблон?

например, это:

C++

#include <type_traits>
#include <iostream>
 
template <typename... Args>
struct pack {};
 
template <typename T, typename... Args>
struct is_all : std::is_same<pack<T, Args...>, pack<Args..., T>>
{};
 
template<typename T, typename... Args>
typename std::enable_if<is_all<T, Args...>::value>::type
func(T, Args...) {
    std::cout << "all types in pack are T\n";
}
 
int main() {
    func(1, 2, 3);
    // func(1, 2, "hello!"); error
}

Еще один пример есть выше.

@Undisputed · 10.10.2019, 19:17

k0vpack,
Вот вариант для С++98

C++

#include <iostream>
 
template<typename A, typename B>
struct is_same  
{
    static const bool value = false;
};
 
template<typename A>
struct is_same<A, A> 
{
    static const bool value = true;
};
 
template<bool B, typename T = void>
struct enable_if {};
 
template<typename T>
struct enable_if<true, T> { typedef T type; };
 
class MyClass;
 
template<typename T>
typename enable_if<
    is_same<T, int>::value  || 
    is_same<T, long>::value || 
    is_same<T, MyClass>::value, 
    void
>::type
func(T arg)
{
    std::cout << "arg = " << arg << '\n';
}
 
int main()
{
    int n1 = 1;
    long n2 = 2;
    double n3 = 3;
    (void)n3;
    func(n1);
    func(n2);
    //func(n3); // compile error
}

Template для определенных типов

Решение

Решение

Решение

@k0vpack 82 / 78 / 34 Регистрация: 13.02.2018 Сообщений: 1,347
	10.10.2019, 17:41 [ТС]	3
	Undisputed, а если нужно для С++ 11, или даже С++ 99? Можно ли? 0

@k0vpack 82 / 78 / 34 Регистрация: 13.02.2018 Сообщений: 1,347
	10.10.2019, 18:01 [ТС]	5
	Azazel-San, можно с явным примером? 0

	10.10.2019, 19:17