왜 const 객체 안에 정의 된 뮤텍스를 잠글 수 있습니까?

Question

작업의 경우 : 내가 위에 나열된 두 경우 모두를 시도하지 않은 그들은 문제없이 컴파일 더 mutable

template<typename T> 
class threadsafe_queue 
{ 
private: 
    std::mutex mut; 
    std::queue<T> data_queue; 

public: 
    threadsafe_queue() 
    {} 

    threadsafe_queue(const threadsafe_queue& other) 
    { 
     std::lock_guard<std::mutex> lk(other.mut); 
     data_queue=other.data_queue; 
    } 
}; 

std::mutex mut;에 대한 참고 사항 : 실패

template<typename T> 
class threadsafe_queue 
{ 
private: 
    mutable std::mutex mut; 
    std::queue<T> data_queue; 

public: 
    threadsafe_queue() 
    {} 

    threadsafe_queue(const threadsafe_queue& other) 
    { 
     std::lock_guard<std::mutex> lk(other.mut); 
     data_queue=other.data_queue; 
    } 
}; 

케이스. 내부적으로 lock_guard가 mutex :: lock 함수를 호출한다고 가정합니다.이 함수 자체는 const 함수가 아닙니다.

질문 왜 복사 생성자에서 const 개체의 뮤텍스를 잠글 수 있습니까? 뮤텍스 mutable 될 자격이 때문에

Answer 1

제 예 컴파일. 즉,이 필드는 포함 된 오브젝트가 변경된 것으로 간주되지 않고 변경, 변형 될 수 있습니다. 따라서 뮤텍스의 상태는 "큐의 일부"가 아닙니다. 컴파일러에서는 const 메서드를 사용하여 mutable 멤버를 수정할 수 있습니다.

두 번째 예제는 실제로 클래스를 인스턴스화하지 않고 해당 메서드를 사용하려고하는 경우에만 컴파일됩니다. 너라면, it fails. 템플릿은 마술입니다 ...