Дедукция параметров шаблона

@ReYalp · Регистрация: 27.12.2017

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

Читаю книгу, цитата с нее Когда сам параметр функции является константой, выведенный для параметра Т тип не будет константным типом.
и позже идет вот такой пример

C++
1
2
3
4
5
6
7
template <typename Т> string debug_rep(const T &t) 
{
 //code
}
 
const string *sp = &s; 
cout << debug_rep(sp) << endl

циатата

debug_rep (const string*&) — экземпляр первой версии шаблона с привязкой параметра Т к типу const string*;

почему Т const string *, а не string*?

P.S. и что такое *& ? Как это понимать?

Добавлено через 1 час 59 минут

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
#include <string>
 
template<typename T>
void f(const T & obj){
}
 
 
int main(){
    std::string str;
    const std::string *sp = &str; 
    f(sp);
    system("pause");
    return 0;
}

Почему при передаче указателя с const верхнего уровня сохраняется этот const? И почему вообще параметр функции ссылка , но каким-то образом она принимает указатель?

@hoggy · 27.05.2020, 12:56

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

просто функция возвращающся ссылку на lvalue не дает имя этой ссылке, соответственно если нету имени нету lvalue

ссылка на lvalue - это всегда lvalue ))

lvalue-reference не позволяет использовать себя в контексте rvalue в принципе.
(на самом деле студия позволяет. но это не по стандарту)

rvalue биндиццо только на rvalue-reference
но rvalue-reference - может быть lvalue (если есть имя)
или rvalue (если безымянная ссылка)

в чем принципиальная разница между lvalue и rvalue с технической точки зрения?

lvalue - всегда ссылается на реальный объект,
который реально живет в каком то скоупе,
и занимает память.

по этой причине, у lvalue всегда можно взять адрес, например.

а вот rvalue не всегда означает, что объект реально существует.
вычисления связанные с rvalue могут, например, использовать регистры.
а как такового объекта (объект - это кусок памяти) может и не существовать.

идея в том, что rvalue - это такая "промежуточная" штука.
которая используется в контексте "промежуточных вычислений".
и предполагается, что как только выражение завершится, она сдохнет.
по факту её вообще может не быть (компилятор оптимизировал)

и тебе дали возможность различать: кто тут у нас lvalue, а кто rvalue,
что бы ты мог невозобранно грабить временные объекты.

@argcargv · 28.05.2020, 18:56

Не по теме:

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

Именованная ссылка любого типа - это всегда lvalue.

Интересно, что такое неименованная ссылка. :umbrage:

@TheCalligrapher · 28.05.2020, 19:43

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

Не по теме:

Интересно, что такое неименованная ссылка. :umbrage:

Результат функции типа int &foo() или int &&bar() - "неименованная ссылка".

@argcargv · 28.05.2020, 20:15

Не по теме:

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

Результат функции типа int &foo() или int &&bar() - "неименованная ссылка".

Ну, если придираться, то ссылочный это возвращаемый тип, а результатом вызова функции является объект. Слова про возврат ссылки в [stmt.return]/1 выпилили, слава Строструпу.

Новые блоги и статьи Все статьи Все блоги /
FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .
Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .