기본 생성자로 인해 생성자가 생성되지 않습니다.

Question

클래스에 기본 생성자가 없으므로 내부 변수가 항상 초기화되어야하므로 이동 생성자가 없어야합니다.

는

class Example final { 
public: 
    explicit Example(const std::string& string) : string_(
    string.empty() ? throw std::invalid_argument("string is empty") : string) {} 
    Example(const Example& other) : string_(other.string_) {} 
private: 
    Example() = delete; 
    Example(Example&& other) = delete; 
    Example& operator=(const Example& rhs) = delete; 
    Example& operator=(Example&& rhs) = delete; 
    const std::string string_; 
}; 

이 클래스는 항상 내부 문자열이 비어 있지 않은 문자열로 설정하고 내부 문자열이 Example 객체 사이에 복사됩니다 기대하고있다. 예제가 옮겨지면 std::move 호출을 통해 문자열을 비워 두어야하기 때문에 move 생성자가 여기에 적용되지 않는다는 것을 수정 했습니까?

Answer 1

클래스에 기본 생성자가 없으므로 항상 내부 변수를 초기화해야하므로 클래스에 이동 생성자가 없어야한다는 내용을 따르시겠습니까?

아니요, 나는 그렇게 말하지 않습니다..

Example 개체에서 이동하여 빈 문자열로 남기는 사실은 여기에서 문제가되지 않아야합니다. 일반적으로 클라이언트는 이동 된 개체의 상태에 대해 어떤 가정도해서는 안되기 때문입니다. 그것은 합법적입니다.

이는 클라이언트가 Example 입력 상태에 대한 사전 조건이없는 함수 만 호출 할 수 있다는 것을 의미합니다. 일반적으로 의 멤버 함수 중은 Example의 객체 상태에 대한 사전 조건을 가지므로 (예 : string_은 null이 아니어야 함) 이 아니며 모두 정확히이 아닙니다.

예를 들어, Example의 소멸자는 string_이 비어 있는지 신경 쓰지 않아도됩니다. 그런 경우에도 작업을 수행 할 수없는 이유는 무엇입니까? 대입 연산자는 다른 일반적인 예입니다. 왜 새 문자열을 string_?에 할당 할 수 있습니까?

이보기에서 Example 개체를 빈 문자열로 남겨 두는 것은 OK입니다. 왜냐하면 모든 클라이언트가 이동 된 개체로 수행 할 수 있기 때문에 기본적으로 다시 할당하거나 파기해야합니다. 이러한 사용 사례의 경우 string_이 비어 있는지 여부는 중요하지 않습니다.

따라서 이동 생성자와 이동 할당 연산자가있는 은이됩니다.