nullptr в шаблоне (template)

@Khludenkov · Регистрация: 30.04.2014

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

Имеется шаблонная функция

C++
1
2
3
4
template <typename T, typename S> typename T FuncImp(T& a, S& b)
{
...
}

И вызывающие её функции

C++
1
2
3
4
FuncA(int& r, int& s)
{
    return FuncImp(r, s);
}

C++
1
2
3
4
FuncB(int& r)
{
    return FuncImp(r, nullptr);
}

Естественно, вторая функция не компилится. Хотя, к примеру, по логике, всё работает. Что можно сделать?

@DrOffset · 07.12.2022, 14:18

Khludenkov, можно использовать указатели.

@Khludenkov · 07.12.2022, 14:20 **[ТС]**

DrOffset, не совсем понял. Ссылки менять на указатели?

@DrOffset · 07.12.2022, 14:22

Khludenkov, ну nullptr обозначает нулевой указатель, вы принимаете ссылки. Очевидным образом напрашивается вывод, что если вы хотите использовать nullptr в таком контексте, то ссылки вам не подходят, нужно заменить их на указатели.

@Kuzia domovenok · 07.12.2022, 14:32

Khludenkov, так а какой логики вы ожидаете от передачи nullptr?
ссылки появились в С++ после языка С, где были только указатели
специально, чтобы оградить функции, которые по своей логике не должны работать
с неинициализированными или нулевыми указателями от ошибок неправильного их использования

специально, чтобы на этапе компиляции отсеивались проблемы вроде этой

C++
1
2
3
4
5
6
void add(int* ptr) {
  ++(*ptr);
}
int main(){
   add(NULL);
}

очевидно, ваша функция FuncImp из этого же теста. Она чего-то хочет записать в a и b!
Зачем вы хотите чтобы она на месте a и b записывала что-то в NULL?
Это крашнет программу и компилятор этого не даёт вам сделать!

@Khludenkov · 07.12.2022, 14:41 **[ТС]**

Kuzia domovenok, там проверка. если *b = nullptr, то он не используется в расчётах.

Добавлено через 1 минуту
переделал ссылки на указатели.
то же самое.

@DrOffset · 07.12.2022, 14:43

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

то же самое.

Ну значит что-то неправильно переделали.
Показывайте, тут же нет телепатов.

@Undisputed · 07.12.2022, 14:46

C++
1
2
std::nullptr_t p = nullptr;
return FuncImp(r, p);

должно решить проблему

Добавлено через 2 минуты
и здесь typename T FuncImp
typename лишнее

IGPIGP · 07.12.2022, 15:50

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

FuncA(int& r, int& s)
{
return FuncImp(r, s);
}

Без возвращаемого значения оно и не должно компилироваться. Что написал компилятор?
И да, nullptr это литерал преобразуемый к типу любого указателя, но нельзя требовать чтобы он конвертировался во что-то ещё.

@hoggy · 07.12.2022, 16:39

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

Что можно сделать?

C++
1
2
3
4
5
6
7
8
template <typename T, typename S> 
T FuncImp(T& a, S&&) { return a; }
 
int FuncA(int& r, int& s) { return FuncImp(r, s); }
 
int FuncB(int& r){ return FuncImp(r, nullptr); }
 
int main(){}

@woldemas · 07.12.2022, 18:15

Надо использовать вариативные шаблоны

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
template<typename ...Args>
auto funcImpl(Args&... args) {
   if constexpr(sizeof... (args) == 1) {
       auto [a] = std::tuple<Args&...>{args...};
       // Работаем с a   
   } else {
       auto [a, b] = std::tuple<Args&...>{args...};
       // Работаем с a и b
   }
}
 
auto funcA(int& r, int& s) {
    return funcImpl(r, s);
}
 
auto funcB(int& r) {
    return funcImpl(r);
}

@TheCalligrapher · 07.12.2022, 19:34

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

Хотя, к примеру, по логике, всё работает.

Это по какой это "логике"?

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

Там проверка. если *b = nullptr, то он не используется в расчётах.

Это как это? О каком *b может вообще идти речь, когда b - не указатель?

nullptr в С++ - это не указатель, это литерал типа std::nullptr_t. Каким образом вы собрались привязывать неконстантную ссылку к литералу? И в любом случае, у типа std::nullptr_t нет оператора *, то есть никакого *b тут быть не может. О чем речь?

@hoggy · 07.12.2022, 20:49

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

Каким образом вы собрались привязывать неконстантную ссылку к литералу?

problem?

C++
1
2
3
4
5
6
7
#include <cstddef>
void foo(std::nullptr_t&&) {}
 
int main()
{
    foo(nullptr);
}

@TheCalligrapher · 07.12.2022, 20:52

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

void foo(std::nullptr_t&&) {}

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

template <typename T, typename S> typename T FuncImp(T& a, S& b)

"Найди одно отличие" (с)

@hoggy · 07.12.2022, 21:29

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

"Найди одно отличие" (с)

не надо никакие отличия искать.

ты вообще следишь за нитью собственного диалога?

ты спросил:

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

Каким образом вы собрались привязывать неконстантную ссылку к литералу?

ответ на твой вопрос: руками.

если тебе нужно привязать неконстантную ссылку к литералу,
то просто берешь, и руками пишешь код,
в котором неконстантная ссылка привязывается к литералу.
ничего сложного в этом нет.

@TheCalligrapher · 07.12.2022, 21:40

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

не надо никакие отличия искать.

"Надо, Федя, надо" (с)

Новые блоги и статьи Все статьи Все блоги /
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 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,816
	07.12.2022, 14:18
	Khludenkov, можно использовать указатели. 0

@Khludenkov 37 / 31 / 5 Регистрация: 30.04.2014 Сообщений: 1,037
	07.12.2022, 14:20 [ТС]
	DrOffset, не совсем понял. Ссылки менять на указатели? 0

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,816
	07.12.2022, 14:22
	Khludenkov, ну nullptr обозначает нулевой указатель, вы принимаете ссылки. Очевидным образом напрашивается вывод, что если вы хотите использовать nullptr в таком контексте, то ссылки вам не подходят, нужно заменить их на указатели. 0

@Khludenkov 37 / 31 / 5 Регистрация: 30.04.2014 Сообщений: 1,037
	07.12.2022, 14:41 [ТС]
	Kuzia domovenok, там проверка. если b = nullptr, то он не используется в расчётах. Добавлено через 1 минуту* переделал ссылки на указатели. то же самое. 0