C++11 - std::forward и static_assert

@castaway · Регистрация: 10.11.2010

Привет.
Эта тема создана в познавательных целях.
А именно, мне не совсем понятна реализация шаблонной функции std::forward. Вот так она выглядит в GCC и Clang:

C++

template <typename T>
constexpr T && forward( typename std::remove_reference<T>::type && t ) noexcept
{
    static_assert( !std::is_lvalue_reference<T>::value, "Can not forward an rvalue as an lvalue." ); // текст из Clang
    return static_cast<T &&>( t );
}

В каких случаях может сработать static_assert?
Разнообразными способами я пытался включить этот "триггер", но увы...

C++

template <typename T>
void foo( T && t ) {
    std::cout << t << std::endl;
}
 
template <typename T>
void wrapper( T /*&&*/ arg )
{
    foo( forward<T>( arg ) );
}
 
int main()
{
    int lvalue = 5;
    int & lvalue_ref = lvalue;
 
    wrapper( lvalue );
    wrapper( lvalue_ref );
    wrapper( 1 + 2 /* rvalue */ );
 
    foo( forward<int>( lvalue ) );
    foo( forward<int &>( lvalue_ref ) );
    foo( forward<int &&>( 1 + 2 ) /* rvalue */ );
}

Для чего эта проверка? Если кто знает, приведите пример в котором сработает static_assert.

@Somebody · 02.11.2014, 19:54

C++

1	forward<int&>(1);

@castaway · 02.11.2014, 20:11 **[ТС]**

Somebody, благодарю!

@TheCalligrapher · 02.11.2014, 21:34

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

Вот так она выглядит в GCC и Clang:

Во-первых, определение std::forward, которое вы процитировали - это определение из C++14, принятого лишь в августе. "В познавательных целях" совсем не обязательно вовлекать эти определения.

Во-вторых, в С++14 существует четыре перегруженных версии forward. Ваш код не вызывает этого static_assert просто потому, что компилируются и используются другие версии forward, именно те в которых никакого static_assert нет.

Для вашего эксперимента достаточно оргинального forward из C++11, имеющего две перегруженных версии

template <class T> T&& forward(typename remove_reference<T>::type& t) noexcept;
template <class T> T&& forward(typename remove_reference<T>::type&& t) noexcept;

Опять же такой static_assert будет присутствовать только во второй версии. Ваш же оригинальный код, как вы не вертитесь с явной специализацией, будет вызывать именно первую. Чтобы вызвать вторую нужно либо явное rvalue в качестве аргумента, либо применение std::move. Т.е. в контексте вашего кода падать по этому static_assert будет

C++

int bar() { return 5; }
 
...
forward<int &>( 0 );
forward<int &>( bar() );
forward<int &>( move(lvalue) );

@castaway · 02.11.2014, 22:11 **[ТС]**

Во-первых, определение std::forward, которое вы процитировали - это определение из C++14[/quote]std::forward есть в стандарте C++11.
TheCalligrapher, дело не в том, что я процитировал. Это всего лишь не правильный пример.
Я задал конкретный вопрос, ответ на который уже получен.
Спасибо за ответ.

@TheCalligrapher · 02.11.2014, 22:43

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

Я задал конкретный вопрос, ответ на который уже получен

Считайте, что мой ответ предназначен не для вас, а для случайно прочитавшего данный вопрос неподготовленного зрителя, который недоуменно посмотрит на ваш вопрос и затем на ответ "который уже получен" и немедленно задастся следующим вопросом: с чего бы это вдруг в 'forward<int&>(1)' static_assert стреляет, а в 'forward<int &>( lvalue_ref )' - не стрелял. Тип 'T' ведь и там, и там один и тот же.

P.S. В мой предыдущий ответ закралась неточность: в С++14 две версии forward, а не четыре.

@castaway 4967 / 3074 / 456 Регистрация: 10.11.2010 Сообщений: 11,159 Записей в блоге: 10
	02.11.2014, 20:11 [ТС]	3
	Somebody, благодарю! 0

@castaway 4967 / 3074 / 456 Регистрация: 10.11.2010 Сообщений: 11,159 Записей в блоге: 10
	02.11.2014, 22:11 [ТС]	5
	Во-первых, определение std::forward, которое вы процитировали - это определение из C++14[/quote]std::forward есть в стандарте C++11. TheCalligrapher, дело не в том, что я процитировал. Это всего лишь не правильный пример. Я задал конкретный вопрос, ответ на который уже получен. Спасибо за ответ. 0

@TheCalligrapher С чаем беда... 8282 / 4056 / 1114 Регистрация: 18.10.2014 Сообщений: 8,759
	02.11.2014, 22:43	6
	Сообщение от castaway Я задал конкретный вопрос, ответ на который уже получен Считайте, что мой ответ предназначен не для вас, а для случайно прочитавшего данный вопрос неподготовленного зрителя, который недоуменно посмотрит на ваш вопрос и затем на ответ "который уже получен" и немедленно задастся следующим вопросом: с чего бы это вдруг в 'forward<int&>(1)' static_assert стреляет, а в 'forward<int &>( lvalue_ref )' - не стрелял. Тип 'T' ведь и там, и там один и тот же. P.S. В мой предыдущий ответ закралась неточность: в С++14 две версии forward, а не четыре. 2

Опции темы

C++11 - std::forward и static_assert

Решение