Muteks-kilitleme işlevi const olarak işaretlenebilir

Question

Özel belgeyi temsil eden Document sınıfı güvenli bir iş parçacığım var. Alıcının durumunu değiştirmek için getters (const işlevleri) ve setters var. Tüm bu işlevler, yöntem tamamen uygulanıncaya kadar belgenin değiştirilmeyeceğini garanti etmek için mutex korumalıdır.

Ama nedeniyle QMutex kullanım

i mutable kullanımı olmadan const olarak devlet erişilen işlev işaretleyemiyorsunuz. QMutex'u yakalamak, durumunu değiştirir.

Bu kod doğru mu, yoksa daha hoş bir şekilde yazılabilir mi? Halatsız mutable kullanımı.

class Document 
{ 
    // This method should be const: it changes only mutex 
    // and don't touch document state 
    bool IsCorrect() const; 
    ... 
    mutable QMutex m_lock; 
}; 

bool Document::IsCorrect() const 
{ 
    // Capturing mutex object change it! 
    QMutexLocker lock(&m_lock); 
    ... Const-aware code 
    bool result = (m_context != NULL); 
    ... 
    return result; 
} 

Answer 1

Herb Sutter bu konu hakkında mükemmel bir talk on Channel9 sahiptir.

Burada önemli olan konu C++ 11, mutable'un iplik güvenliği ile ilgili yeni bir anlam kazanmasıdır: "bu veri üyesi dahili olarak senkronize edilmiştir." Tam olarak bir muteks budur. Herb, bu konuşmada bir muteks hakkında konuşurken bile şöyle der: "bu, değişebilir olmak ister."

Yani bir mutable Muteksleri sahip ve bir const üye işlevinden erişirken

hiç hacky değildir ve aslında mutable için birincil kullanım amaçları biri.