Lambda init capture by const reference

@gromo · Регистрация: 04.09.2009

Всем привет.

Почему не получается добиться следующего поведения:

C++

auto main() -> int
{
    int ival = 0;
 
    [&ival = ival]() { // Need something like '[const& ival = ival]'
        ++ival; // Need fail
    }();
 
}

Как заставить лямбду захватывать по константной сслыке? Именно захватывать, внутри квадратных скобок, т.е. bind и тому подобное не подходит.

Благодарю всех неравнодушных!

@rikimaru2013 · 20.03.2016, 22:00

Это проблема в том, что С++ как баран разрешает в константных методов присваивать значения ссылкам. Как бы битовое состояние объекта не меняется - а на деле. Думаю тут надо класс wrapper для ival с сеттером и геттером соответствующего const состояния

C++

#include <string>
#include <sstream>
#include <fstream>
#include <iostream>
using namespace std;
 
struct A
{
    int x = 0;
    int& a;
 
    A() : a(x)
    {
 
    }
    void foo() const
    {
        a = 17;
    }
};
int main()
{
    const A a;
    cout << a.x << endl;
    a.foo();
    cout << a.x << endl;
}

@gromo · 20.03.2016, 22:05 **[ТС]**

rikimaru2013, std::cref?

@ct0r · 20.03.2016, 22:06

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

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

Теоретически:

C++

1
2
3

[&ival = std::as_const(ival)]() { // Need something like '[const& ival = ival]'
  ++ival; // Need fail
}();

Но практически с этим проблемы. В gcc будет работать сейчас только такой код:

C++

const int& ival2 = static_cast<const int&>(ival);
 
[&ival2]() { // Need something like '[const& ival = ival]'
  ++ival2; // Need fail
}();

А в clang будет невменяемое сообщение об ошибке:

error: cannot assign to a variable captured by copy in a non-mutable lambda

@gromo · 20.03.2016, 22:13 **[ТС]**

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

const int& ival2 = static_cast<const int&>(ival);

А зачем явно кастить ?

Добавлено через 3 минуты
Вобщем через reference_wrapper получается добиться нужного эффекта и писанины не очень много, но все равно как-то костыльно. Но плюсовики — народ привыкший к такому

Кстати, as_const — вообще что-то адовое, по-моему. Писать вызов функции (концептуально), чтобы привести к константному виду

@ct0r · 20.03.2016, 22:18

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

А зачем явно кастить ?

Можно не кастить.
1) Просто для иллюстрации, что именно это делает as_const.
2) Когда я узнаю, что в гцц все пофиксили, будет проще найти такие места и поменять.

@gromo · 20.03.2016, 22:24 **[ТС]**

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

С++ как баран разрешает в константных методов присваивать значения ссылкам

Тут вам скорее всего std::experimental:: propagate_const поможет. Еще одна crutch-feature

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

Но практически с этим проблемы. В gcc будет работать сейчас только такой код:

А из-за чего вообще реджектится такой код на данный момент? Почему запрещена cv-конверсия ссылок?

@ct0r · 20.03.2016, 22:29

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

Кстати, as_const — вообще что-то адовое, по-моему. Писать вызов функции (концептуально), чтобы привести к константному виду

Почему же? Писать меньше и не надо знать сам тип объекта. Да и сам каст выглядит уродливо.

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

А из-за чего вообще реджектится такой код на данный момент? Почему запрещена cv-конверсия ссылок?

Ты в смысле, почему гцц отвергает теоретически правильный код? Ну так просто баг в гцц.

@gromo · 21.03.2016, 01:03 **[ТС]**

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

Да и сам каст выглядит уродливо.

Ну уродливые касты для того и введены были в С++, чтобы их можно было легче заметить, в отличие от C-style приведений (да, они более restrictive, но сейчас не об этом), а std::as_const получается более короткая запись [static|const]_cast. Что же это за отказ от заповедей С++?

@ct0r · 21.03.2016, 02:39

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

Что же это за отказ от заповедей С++?

Где отказ? У as_const нет ни одного недостатка, присущего сишным кастам. as_const:
1) Легок для понимания.
2) Нормально отыскивается как глазами, так и грепом.
3) И самое главное, безопасен, поэтому не нуждается в искусственной уродливости.

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	21.03.2016, 02:39	10
	Сообщение от gromo Что же это за отказ от заповедей С++? Где отказ? У as_const нет ни одного недостатка, присущего сишным кастам. as_const: 1) Легок для понимания. 2) Нормально отыскивается как глазами, так и грепом. 3) И самое главное, безопасен, поэтому не нуждается в искусственной уродливости. 1

@gromo 382 / 280 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	20.03.2016, 22:05 [ТС]	3
	rikimaru2013, std::cref? 0

@gromo 382 / 280 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	20.03.2016, 22:13 [ТС]	5
	Сообщение от ct0r const int& ival2 = static_cast<const int&>(ival); А зачем явно кастить ? Добавлено через 3 минуты Вобщем через reference_wrapper получается добиться нужного эффекта и писанины не очень много, но все равно как-то костыльно. Но плюсовики — народ привыкший к такому Кстати, as_const — вообще что-то адовое, по-моему. Писать вызов функции (концептуально), чтобы привести к константному виду 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	20.03.2016, 22:18	6
	Сообщение от gromo А зачем явно кастить ? Можно не кастить. 1) Просто для иллюстрации, что именно это делает as_const. 2) Когда я узнаю, что в гцц все пофиксили, будет проще найти такие места и поменять. 0

@gromo 382 / 280 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	20.03.2016, 22:24 [ТС]	7
	Сообщение от rikimaru2013 С++ как баран разрешает в константных методов присваивать значения ссылкам Тут вам скорее всего `std::experimental:: propagate_const` поможет. Еще одна crutch-feature Сообщение от ct0r Но практически с этим проблемы. В gcc будет работать сейчас только такой код: А из-за чего вообще реджектится такой код на данный момент? Почему запрещена cv-конверсия ссылок? 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	20.03.2016, 22:29	8
	Сообщение от gromo Кстати, as_const — вообще что-то адовое, по-моему. Писать вызов функции (концептуально), чтобы привести к константному виду Почему же? Писать меньше и не надо знать сам тип объекта. Да и сам каст выглядит уродливо. Сообщение от gromo А из-за чего вообще реджектится такой код на данный момент? Почему запрещена cv-конверсия ссылок? Ты в смысле, почему гцц отвергает теоретически правильный код? Ну так просто баг в гцц. 1

@gromo 382 / 280 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	21.03.2016, 01:03 [ТС]	9
	Сообщение от ct0r Да и сам каст выглядит уродливо. Ну уродливые касты для того и введены были в С++, чтобы их можно было легче заметить, в отличие от C-style приведений (да, они более restrictive, но сейчас не об этом), а `std::as_const` получается более короткая запись `[static\|const]_cast`. Что же это за отказ от заповедей С++? 0

Опции темы