Neden std :: tr1 :: işlevi Objective-C Blokları ile çalışır? Aşağıdaki kod aslında çalıştığını bulunca

Question

oldukça şaşırdı: std::tr1::function bir Objective-C bloktan inşa edilmektedir yeteneğine sahiptir gibi

std::vector<int> list /*= ...*/; 
std::tr1::function<void(int)> func = ^(int i) { 
    return i + 1; 
}; 

std::for_each(list.begin(), list.end(), func); 

görünüyor, ama emin değilim oldukça nasıl beri (son Ben kontrol ettim, onun uygulama özellikle blokları işlemez. Bir şekilde temel fonksiyon göstergesini dolaylı olarak mı emiyor? Ayrıca, bu davranış tanımlanmamış ve muhtemelen değişiyor mu?

Answer 1

Güncelleme: gerçekten sadece

std::tr1::function 'ın şablon parametresi çalışır imzayı çıkan fonksiyon nesnenin tanımlar neden, yanlış burada değil, tip aslında sarar. Bu nedenle, sarılmış nesnenin yalnızca bir imzası olan bir operator() sunması gerekir. Fonksiyon işaretçileri gibi, referansları engelleyin, dolaylı olarak operator() var (açıkçası, böylece onları arayabilirsiniz).

Eski, hatalı cevap

şiddetle blok çevreleyen kapsamdan herhangi bir değişken yakalamak değil çünkü çalışır şüpheli (bu nedenle yorum mantıklı). Bu durumda, sürdürülecek bir durum yoktur, bu nedenle bir blok referansı, bir çıplak fonksiyon gösterici olarak temsil edilebilir. Biz

std::vector<int> list /*= ...*/; 
int counter = 0; 
std::tr1::function<void(int)> func = ^(int i) { 
    counter++; 
    return i + counter; 
}; 

std::for_each(list.begin(), list.end(), func); 

kodunu değiştirirseniz o blok onunla etrafında counter arasında yakalanan değerini taşıyacak gerektiği gibi, derlemek için başarısız. Eğer Objective-C nesneleri ve Objective-C blokları için destek bir yeri vardır, bloklar sınırlı değildir Gibi blok davranabilirsiniz rağmen

Answer 2

(tabii std::tr1::functionuygulanması özellikle blokları desteklemek için güncellendi sürece) Objective-C. C ve C++’daki blokları da kullanabilirsiniz. Daha fazla bilgi için bkz. this article.