C++20 implicit this capture - Plepa Eğitim Hizmetleri

C++20 standartları this göstericisinin örtülü (implicit) olarak yakalanmasını “deprecated” olarak belirliyor. C++23 standartları bu özelliği dilden tamamen kaldırılabileceğinden kullanmamakta fayda var. Aşağıdaki koda bakalım:

#include <iostream>

struct Nec {
	int mx = 5;
	//
	void func()
	{
		auto f = [=] {std::cout << mx; };
		f();
		//
	}
};

int main()
{
	Nec{}.func();
}

#include <iostream>

struct Nec {

int mx = 5;

void func()

{

auto f = [=] {std::cout << mx; };

f();

}

};

int main()

{

Nec{}.func();

}

Nec sınıfının func üye işlevi içinde kullanılan lambda ifadesinde sınıfın mx isimli veri öğesinin kullanıldığını görüyorsunuz. Burada yakalanan (capture edilen) edilen mx veri öğesi değil this göstericisi. Yani mx kapanış (closure) sınıfının bir veri öğesine kopyalanmıyor. Kod içinde kullanılan mx, veri öğesinin ta kendisi. (this->mx). Aşağıdaki kod bunu göstermeye yönelik:

#include <iostream>

struct Nec {
	int mx = 5;
	//
	void func()
	{
		auto f = [=] {++mx; };
		f();
		//
	}
};

int main()
{
	Nec nec{};

	nec.func();
	std::cout << nec.mx << '\n';
}

#include <iostream>

struct Nec {

int mx = 5;

void func()

{

auto f = [=] {++mx; };

f();

}

};

int main()

{

Nec nec{};

nec.func();

std::cout << nec.mx << '\n';

}

Kodu çalıştırdığınızda nec isimli nesnenin mx öğesinin değerinin değiştiğini göreceksiniz.
this göstericisinin bu şekilde örtülü olarak yakalanması bir kopyalama söz konusu olduğunu düşünen programcıları zor duruma düşürebiliyor. Aşağıdaki koda bakalım:

#include <functional>

struct Nec {
	int mx;
	auto get_closure()
	{
		return [=] { return mx; };
	}
};

int main()
{
	std::function<int()> f;
	{
		Nec nec{10};
		f = nec.get_closure();
		// nec nesnesinin hayatı burada sonlanıyor
	}
	int result = f();  //tanımsız davranış
}

#include <functional>

struct Nec {

int mx;

auto get_closure()

{

return [=] { return mx; };

}

};

int main()

{

std::function<int()> f;

{

Nec nec{10};

f = nec.get_closure();

// nec nesnesinin hayatı burada sonlanıyor

}

int result = f(); //tanımsız davranış

}

C++17 standartları ise this göstericisinin referansla yakalanmasının yanında hem de kopyalama yoluyla isimle (explicit) yakalanmasını mümkün kıldı:

struct Nec {
	int mx = 5;
	void f1()
	{
		auto f1 = [this] {++mx; };
		//
		auto f2 = [*this]{/* */ };
	}
};

struct Nec {

int mx = 5;

void f1()

{

auto f1 = [this] {++mx; };

auto f2 = [*this]{/* */ };

}

};

this göstericisinin örtülü olarak referans semantiği ile yakalanmasında ise C++20 standartları bir değişiklik getirmedi.

Kaynak : C++20 Deprecate implicit lambda capture of this

Necati Ergin

Bunlar da ilginizi çekebilir

bir işlev çağrısını yalnızca belirli bir türden argümanla sınırlamak

bir sınıfın belirli bir üye işlevine arkadaşlık vermek

şablon sabit parametreleri – 1 (template non-type parameters)