typename в шаблонах

Вечер добрый.
Есть два примера: в первом - использование свойств типа is_array_v для преобразование Т внутри угловых скобок <> с оператором =, а во втором - ... тоже преобразование, но только с другой реализацией? Или как?

0

oleg-m1973, из справочника даны два варианта(ниже) и автор считает их оба верными. Но вопрос мой в другом.
//1
//2

0

Сообщение от IP_TCP Но вопрос мой в другом.

В смысле, в чём именно?

Добавлено через 1 минуту
Вот тебе ещё один вариант

0

oleg-m1973,

Вечер добрый. Есть два примера: в первом - использование свойств типа is_array_v для преобразование Т внутри угловых скобок <> с оператором =, а во втором - ... тоже преобразование, но только с другой реализацией? Или как? C++ //1 template<typename T, typename = enable_if_t<is_array_v<T>> > void someFoo(T &&a, T &&b) { // ... } //2 template<typename T> typename remove_reference_t<T> retV(T p) { return T{}; }

0

typename = это значение по-умолчанию для параметра шаблона, по-аналогии с параметрами функции

0

Сообщение от oleg-m1973 template<typename T, typename TRes = std::remove_reference_t<T>> TRes retV(T p) {     return TRes{}; // Всегда возврат значения }

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

0

Я извиняюсь, что криво вопрос задал. В первом примере, наверное, больше проверка была на is_array_v, с последующем включении типа (потому как bool), а во втором примере уже преобразование Т с помощью remove_reference_t<T>. Тогда, правильно ли я понимаю, что bool мы можем использовать внутри <>, а преобразование только внешне?

0

Сообщение от IP_TCP Тогда, правильно ли я понимаю, что bool мы можем использовать внутри <>, а преобразование только внешне?

"Внешне" мы можем использовать только типы данных. Константы, в частности is_array_v, не являются типом. Поэтому можно их использовать только в качестве значений для соответствующих параметров другого шаблона. Так у шаблонного класса enable_if первым параметром передаётся булевская константа.

Добавлено через 1 минуту
В параметрах шаблона, в скобках <>, слово typename или class означает, что должен передаваться тип, иначе - константа

Добавлено через 1 минуту
"Внешне" typename служит подсказкой компилятору, что зависимый тип, тот который после ::, является именно типом данных

1

oleg-m1973, спасибо. Вроде какое-то понимание есть.

0

DrOffset, TheCalligrapher, зачем может понадобиться фиктивный параметр шаблона, где почитать?

Добавлено через 31 минуту
как я пока понял, они используются для отключение шаблонов с помощью enable_if<> в связке с технологией SFINAE?

0

Сообщение от _stanislav как я пока понял, они используются для отключение шаблонов с помощью enable_if<> в связке с технологией SFINAE?

это частный случай.

Параметр шаблона по умолчанию имеет в общем случае те же цели, что и параметр по умолчанию у функции: предоставлять некое умолчание.

Например у шаблона std::vector второй параметр - это как раз параметр по умолчанию, который представляет собой аллокатор.

0

Сообщение от DrOffset Параметр шаблона по умолчанию имеет в общем случае те же цели, что и параметр по умолчанию у функции: предоставлять некое умолчание. Например у шаблона std::vector второй параметр - это как раз параметр по умолчанию, который представляет собой аллокатор.

про параметр шаблона по умолчанию, ясно, но фиктивный параметр как я понимаю не только имеет значение по умолчанию, но и не имеет имени?

Добавлено через 31 секунду
вот как раз когда нет имени, это интересный случай.

Добавлено через 7 минут
кажется въехаал, безымянный параметр шаблона нужен только для того что бы раскрыть шаблон enable_if<>, если не сработает SFINAE то он раскроется сделав тем самым второй безымянный параметр рабочим тем самым включит функцию на инстанцирование, но сам фиктивный параметр не нужен по этому у него нет имени. как то так?

0

Сообщение от _stanislav про параметр шаблона по умолчанию, ясно, но фиктивный параметр как я понимаю не только имеет значение по умолчанию, но и не имеет имени?

В С++ любой параметр (по умолчанию в том числе) может не иметь имени, это нормально )

Добавлено через 18 секунд

Сообщение от _stanislav как то так?

Ага.

0

Сообщение от DrOffset Ага.

благодарю

0

Сообщение от IP_TCP Для достижения безопасности возможны два варианта действий: • Использовать свойство типа std::remove_reference<> (см. раздел Г.4) для преобразования Т в тип, не являющийся ссылочным:

Во-первых, путаница вызвана тем, что вы использовали термин "преобразование" вне контекста. Термин "преобразование" в С++ уже занят и имеет вполне четкое значение, и здесь такого преобразования нет. Но в контексте становится понятно о чем идет речь. Под "преобразованием" имеется в виду та трансформация типов, которую выполняет std::remove_reference_t. Однако к ключевому слову typename, которое вы вынесли в заголовок вопроса это не имеет никакого отношения.

Во-вторых, в книге по-видимому изобилуют опечатки. typename remove_reference_t<T> - так нельзя. Правильно либо просто remove_reference_t<T>, либо typename remove_reference<T>::type. И, как уже правильно заметил oleg-m1973, в примере с std::enable_if должно быть либо enable_if_t<is_array_v<T>>, либо typename enable_if<is_array_v<T>>::type.

Такое впечатление, что кто-то на позднем этапе редактирования книги выкосил все ::type и заменил их на _t-версии соответствующих шаблонов, но забыл, что этим дело не ограничивается.

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

Сообщение от IP_TCP Это пример из справочника. Что значит "не нужен, а так правильно")

Вы повторяете эти слова так, как будто это является гарантией некоей "правильности" информации, которую вы оттуда взяли.

Это не так. Ваш справочник крив, кос и содержит ошибку на ошибке. Были ли эти ошибки внесены при переводе или наляпаны самим автором справочника - вопрос отдельный, но факт остается фактом.

0

Сообщение от TheCalligrapher Такое впечатление, что кто-то на позднем этапе редактирования книги выкосил все ::type

Какой ужас. Сейчас проверил - все так и есть. И первый и второй примеры в оригинале без ошибок.
Теперь буду уточнять, чтобы читали оригинал.
PS. не видел русский перевод, поэтому не знал, что там такой бардак.

0

Если ТС интересно, вот:

0

Сообщение от DrOffset Сейчас проверил - все так и есть.

Я посмотрел PDF английского оригинала второго издания и PDF русского перевода второго издания. И там тоже нет этих ошибок. Интересно было бы взглянуть, что за версия у ТС...

Миниатюры

   

0

Сообщение от TheCalligrapher И там тоже нет этих ошибок.

Вот как...

Сообщение от TheCalligrapher Интересно было бы взглянуть, что за версия у ТС...

Я теперь догадываюсь какая это версия. Похоже это утекший в сеть за 3 месяца (или около того) до релиза книги драфт.

0

DrOffset,DrOffset, да, в первом примере ошибка была сделана мной

template<typename T, typename = enable_if_t<is_array_v<T>> >

. Ее oleg-m1973, отметил сразу. Забыл поставить

_t

. Книга тут не причем. Эту ошибку я выше поправил с комментарием.

Такое впечатление, что кто-то на позднем этапе редактирования книги выкосил все ::type

И в оригинале все примеры, как я описал выше.

Это не так. Ваш справочник крив, кос и содержит ошибку на ошибке. Были ли эти ошибки внесены при переводе или наляпаны самим автором справочника - вопрос отдельный, но факт остается фактом

Это не мой справочник) Претензии пишите авторам. Вы лучше укажите на мои ошибки в примере, в объяснениях, а указать на плохую книжку и я могу.

0

Сообщение от IP_TCP а указать на плохую книжку и я могу.

Книжка отличная.

Сообщение от IP_TCP Вы лучше укажите на мои ошибки в примере

Проблема в том, что финальном издании ошибок нет.
Если вы спиратили книгу, к чему лично я отношусь нейтрально, то просто спиратьте ее еще раз, в более качественном виде. Если эти косяки присутствуют в вашей электронной версии, то это однозначно какой-то утекший в сеть черновик.

Выше вам уже ответили про ошибки:

Сообщение от TheCalligrapher typename remove_reference_t<T> - так нельзя. Правильно либо просто remove_reference_t<T>, либо typename remove_reference<T>::type. И, как уже правильно заметил oleg-m1973, в примере с std::enable_if должно быть либо enable_if_t<is_array_v<T>>, либо typename enable_if<is_array_v<T>>::type

0