специализация шаблона

@teatralaik · Регистрация: 25.08.2016

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

Добрый день!
Хотелось бы сделать шаблонную функцию, у которой будет различная реализация в зависимости от того является ли шаблонный класс - вещественным(т.е. double или float) или нет. Нашел копипаст, который может вернуть bool в зависимости от типа, но не могу понять как реализовать специализацию щаблона, т.к. до этого особо мета-программированием не увлекался. Получается пока что-то в этом роде:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
template <typename T>
struct is_floating_point
{
    static const bool value;
};
 
template <typename T>
const bool is_floating_point<T>::value =
    std::numeric_limits<T>::is_specialized &&  // Is fundamental arithmetic type...
    !std::numeric_limits<T>::is_integer;       // ...that is not an integer
 
template <typename T, bool is_float = is_floating_point<T>::value>
std::string NumberToString( const T& Number ){
        return "integer";
};
 
 
template <typename T>
std::string NumberToString<T,true>( const T& Number ){
        return "float";
};

На что компилятор пишет, что частичная специализация функций не доступна. Как быть? Конечно можно использовать тупо if в теле ф-ции, но все таки хотелось бы реализовать статический полиморфизм.

@TRam_ · 12.01.2018, 14:21

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

const bool is_floating_point<T>::value =
* * std::numeric_limits<T>::is_specialized && *// Is fundamental arithmetic type...
* * !std::numeric_limits<T>::is_integer;

Нельзя так делать. Нужно использовать http://en.cppreference.com/w/cpp/types/conjunction и http://en.cppreference.com/w/cpp/types/negation , и то, если у вас компилятор поддерживает C++17.

Добавлено через 8 минут
Подключать/отключать реализации можно с помощью http://en.cppreference.com/w/cpp/types/enable_if

@teatralaik · 12.01.2018, 14:22 **[ТС]**

TRam_, вроде в С++11 есть http://ru.cppreference.com/w/c... ting_point, но проблема, что компилятор в силу существущих ограничений нужно использовать с поддержкой 98(в него даже enable_if не влезает). И как я понимаю из вашего ответа, такую магию на нем сделать не получится?

@TRam_ · 12.01.2018, 14:41

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

компилятор в силу существущих ограничений нужно использовать с поддержкой 98

Ну тогда нужно делать такой шаблон, который бы "ломался" (был некомпилируем) при использовании неправильного типа. Но не уверен, что возможно создать код, который бы был с ошибкой для float, но корректным для int, и при этом оказывался бы выгоднее, чем RTTI.

@hoggy · 12.01.2018, 16:25

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

но не могу понять как реализовать специализацию щаблона

http://rextester.com/YQK10125

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
#include <type_traits>
#include <iostream>
#include <string>
 
template <typename T>
::std::enable_if_t<::std::is_floating_point<T>::value, ::std::string>    
NumberToString(T&&)
    { return "float"; }
 
 
template <typename T>
::std::enable_if_t<::std::is_integral<T>::value, ::std::string>    
NumberToString(T&&)
    { return "integer"; }
 
template <typename T>
::std::enable_if_t<
    !::std::is_integral<T>::value && 
    !::std::is_floating_point<T>::value, 
    ::std::string
>    
NumberToString(T&&)
    { return "other"; }
 
 
int main()
{
    struct dimmy{} d;
    
    std::cout << "floating? " << NumberToString(0.5) << '\n';
    std::cout << "integral? " << NumberToString(5)   << '\n';
    std::cout << "other? "    << NumberToString(d)   << '\n';
}

@DrOffset · 12.01.2018, 16:33

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

нужно использовать с поддержкой 98(в него даже enable_if не влезает)

В этом случае enable_if и трейтсы для определения типа можно написать самому. Это не так сложно.
Или использовать boost, там это все есть.

@AndrSlav · 13.01.2018, 05:56

Подскажите почему так получается?
Пример hoggy работает

C++
1
2
3
4
template <typename T>
::std::enable_if_t<::std::is_floating_point<T>::value, ::std::string>    
NumberToString(T&&)
    { return "float"; }

а вот так дофига стремных ошибок (enable_if_t заменили на enable_if, но они отличаются только значением по умолчанию, которое здесь не используется)

C++
1
2
3
4
template <typename T>
::std::enable_if<::std::is_floating_point<T>::value, ::std::string>    
NumberToString(T&&)
    { return "float"; }

а вот так опять работает (по сути только alias сделали, а так совпадает с предыдущим примером)

C++
1
2
3
4
5
6
7
template<bool T, class U>
using Enable = typename std::enable_if<T, U>::type;
 
template <typename T>
Enable<::std::is_floating_point<T>::value, ::std::string>    
NumberToString(T&&)
    { return "float"; }

@Peoples · 13.01.2018, 11:33

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

а вот так дофига стремных ошибок (enable_if_t заменили на enable_if

С++14 не поддерживается, если enable_if_t ошибки даёт

@DrOffset · 13.01.2018, 19:29

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

а так совпадает с предыдущим примером

Не совпадает же.
Где алиас:
typename std::enable_if<T, U>::type
А в другом варианте:
std::enable_if<::std::is_floating_point< T>::value, ::std::string>
Чтобы было одинаково, надо:

C++
1
2
typename ::std::enable_if<::std::is_floating_point<T>::value, ::std::string>::type
NumberToString(T&&)

@AndrSlav · 13.01.2018, 21:17

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

Где алиас:
typename std::enable_if<T, U>::type

Спасибо! Совсем глаз замылился с непривычки)

Новые блоги и статьи Все статьи Все блоги /
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .

@teatralaik 4 / 4 / 5 Регистрация: 25.08.2016 Сообщений: 44
	12.01.2018, 14:22 [ТС]
	TRam_, вроде в С++11 есть http://ru.cppreference.com/w/c... ting_point, но проблема, что компилятор в силу существущих ограничений нужно использовать с поддержкой 98(в него даже enable_if не влезает). И как я понимаю из вашего ответа, такую магию на нем сделать не получится? 0