Ссылка в качестве параметра шаблона не являющегося типом

@_stanislav · Регистрация: 16.08.2014

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

Наткнулся на такую запись:

C++

1	template <decltype(auto) N> class Test {};

Она соответствует стандарту? В VC19 не работает.

Добавлено через 1 минуту
Извиняюсь, в студии поддержку C++17 не включил

Добавлено через 5 минут
Раз уж тема создалась, если кому интересно вот код с использованием данной возможности.

C++

template <decltype(auto) N>
class Test {};
 
int main()
{
    static int i{};
    Test< (i) > t;
 
    return 0;
}

@TheCalligrapher · 29.06.2020, 17:53

Так а о чем тема вообще? Использовать lvalue ссылку в качестве нетипового шаблонного параметра можно было всегда.

@_stanislav · 29.06.2020, 23:47 **[ТС]**

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

Так а о чем тема вообще?

мне конструкция показалась странной.

Добавлено через 2 минуты
потому что я не понимаю до конца как работают шаблоны, пока

@TheCalligrapher · 29.06.2020, 23:58

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

мне конструкция показалась странной.

Какая именно конструкция?

Placeholder типы (т.е. auto или decltype(auto) вместо конкретного типа параметра шаблона) появились в С++17.

Но тема озаглавлена "ссылка в качестве параметра шаблона". Ссылки в качестве нетиповых параметров шаблона можно было использовать всегда

C++

template <int &N>
class Test {};
 
int i;
 
int main()
{
  Test<i> t;
}

Разве что только до C++11 в качестве аргумента требовалась ссылка на объект с внешним связыванием. А до C++17 - хоть с каким-нибудь связыванием.

@_stanislav · 30.06.2020, 00:03 **[ТС]**

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

Разве что только до C++11 в качестве аргумента требовалась ссылка на объект с внешним связыванием. А до C++17 - хоть с каким-нибудь связыванием.

да, в книге примерно так и написано, типа с каждым новым стандартом правила смягчались

@TheCalligrapher Вездепух 11695 / 6374 / 1724 Регистрация: 18.10.2014 Сообщений: 16,068
	29.06.2020, 17:53	2
	Так а о чем тема вообще? Использовать lvalue ссылку в качестве нетипового шаблонного параметра можно было всегда. 0

@_stanislav "C with Classes" 1646 / 1403 / 523 Регистрация: 16.08.2014 Сообщений: 5,877 Записей в блоге: 1
	29.06.2020, 23:47 [ТС]	3
	Сообщение от TheCalligrapher Так а о чем тема вообще? мне конструкция показалась странной. Добавлено через 2 минуты потому что я не понимаю до конца как работают шаблоны, пока 0

@_stanislav "C with Classes" 1646 / 1403 / 523 Регистрация: 16.08.2014 Сообщений: 5,877 Записей в блоге: 1
	30.06.2020, 00:03 [ТС]	5
	Сообщение от TheCalligrapher Разве что только до C++11 в качестве аргумента требовалась ссылка на объект с внешним связыванием. А до C++17 - хоть с каким-нибудь связыванием. да, в книге примерно так и написано, типа с каждым новым стандартом правила смягчались 0