Выбор валидной функции с использованием шаблонов

@Mirmik · Регистрация: 27.02.2014

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

Допустим у нас есть две шаблонные функции. Я хочу сделать так, чтобы в случае если может быть вызвана первая, подставлялась она.
А во всех остальных случаях подставлялась вторая.... Как бы это можно учудить?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
class argument {
argument(int i){}
argument(void* b, int i){}
};
 
template<typename T>
argument doit(T&& arg) {
    return argument(arg);
}
 
template<typename T>
argument doit(T&& arg) {
    return argument((void*)&arg, 42);
}

MrGluck · 30.05.2017, 15:03

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

C++
1
2
3
4
5
6
7
8
template<typename T>
argument doit(T&& arg) {
* * return argument(arg);
}
template<typename T>
argument doit(T&& arg) {
* * return argument((void*)&arg, 42);
}

Что-то ты не так написал - сигнатура функций одинаковая.

Нужно что-то такое?
С++17

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include <iostream>
#include <type_traits>
 
struct argument {
    argument(int) { std::cout << "1"; }
    argument(void* , int) { std::cout << "2"; }
};
 
template<typename T>
argument doit(T&& arg) {
    if constexpr (std::is_convertible<T, int>::value)
        return argument(arg);
    else
        return argument((void*)&arg, 42);
}
 
int main()
{
    doit(42);
    doit(1.2);
    doit("asdas");
}

http://coliru.stacked-crooked.... 1e68b3c5ff

@zss · 30.05.2017, 15:04

используйте специализацию шаблона

C++
1
2
3
4
5
6
7
8
9
 
template<typename T>
argument doit(T&& arg) {
    return argument((void*)&arg, 42);
}
template<>
argument doit<int>(int&& arg) {
    return argument(arg);
}

m

MrGluck · 30.05.2017, 15:07

Возможно, в конкретном случае ещё подойдёт std::is_integral + std::is_floating_point.

@Mirmik · 30.05.2017, 15:10 **[ТС]**

zss, Дело в том, что эта функция сама по себе шаблонная, и получается частичная специализация. Кроме того не хотелось бы писать ее под каждый базовый тип.

Я это себе как-то так представляю, только is_basic должен пинать себя сам

.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
        template <typename Customer, bool is_basic>
    struct make_argument;
 
    template <typename Customer>
    struct make_argument<Customer, true> {
        template<typename T>
        static argument doit(T&& arg) {
            return argument(arg);
        }
    };
 
    template <typename Customer>
    struct make_argument<Customer, false> {
        template<typename T>
        static argument doit(T&& arg) {
            return argument(&arg, Customer::function_pointer(arg));
        }
    };

@hoggy · 30.05.2017, 15:21

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

чтобы в случае если может быть вызвана первая, подставлялась она.
А во всех остальных случаях подставлялась вторая

http://rextester.com/HAPM41242

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
#include <iostream>
 
struct argument 
{
    argument(int)
        { std::cout << "call argument(int)\n"; }
    
    argument(void*, int)
        { std::cout << "call argument(void*, int)\n"; }
};
 
 
template<typename T>
std::enable_if_t<std::is_constructible<argument, T&>::value, argument> 
doit(T&& arg) 
    { return argument(std::forward<T>(arg)); }
 
template<typename T>
std::enable_if_t<!std::is_constructible<argument, T&>::value, argument> 
doit(T&& arg) 
    { return argument(&arg, 42); }
 
int main()
{
    doit(1); // 1 is int
    doit(1.5f); // float can convert to int
    
    struct s{} obj;;
    
    doit(obj); // struct s can not convert to int
}

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	30.05.2017, 15:07
	Возможно, в конкретном случае ещё подойдёт std::is_integral + std::is_floating_point. 0

Выбор валидной функции с использованием шаблонов

Решение