[c++] C ++ 11의 새로운 구문“= 기본값”

경우에 따라 의미론의 문제입니다. 기본 생성자는 명확하지 않지만 다른 컴파일러 생성 멤버 함수에서는 분명합니다.

기본 생성자의 경우 빈 본문이있는 기본 생성자를 사용하는 것처럼 간단한 생성자가 될 수 있습니다 =default. 결국, 오래된 빈 기본 생성자는 적법한 C ++ 입니다.

struct S {
  int a;
  S() {} // legal C++ 
};

컴파일러가이 생성자를 사소한 것으로 이해하는지 여부는 대부분의 경우 최적화 외부 (수동 또는 컴파일러) 외부와 관련이 없습니다.

그러나 이렇게하면 빈 함수 본문을 “기본”으로 처리하려고하면 다른 유형의 멤버 함수에 대해 완전히 분류됩니다. 복사 생성자를 고려하십시오.

struct S {
  int a;
  S() {}
  S(const S&) {} // legal, but semantically wrong
};

위의 경우 빈 본문으로 작성된 복사 생성자가 잘못되었습니다 . 더 이상 실제로는 아무것도 복사하지 않습니다. 이것은 기본 복사 생성자 의미와는 매우 다른 의미의 집합입니다. 원하는 동작을하려면 코드를 작성해야합니다.

struct S {
  int a;
  S() {}
  S(const S& src) : a(src.a) {} // fixed
};

그러나이 간단한 경우에도 컴파일러가 복사 생성자가 자체 생성자와 동일한 지 확인하거나 복사 생성자가 사소한 것임을 확인하는 것은 훨씬 더 많은 부담이 됩니다.memcpy 기본적으로 ). 컴파일러는 각 멤버 이니셜 라이저 표현식을 확인하고 소스의 해당 멤버에 액세스하는 식과 동일한 지 확인해야하며, 기본 구성이 아닌 다른 멤버가 없는지 확인하십시오. 컴파일러는이 함수의 자체 생성 버전이 사소한 지 확인하는 데 사용합니다.

그런 다음 특히 사소하지 않은 경우에는 더 할당 할 수있는 복사 할당 연산자를 고려하십시오. 많은 클래스에 대해 작성하고 싶지는 않지만 C ++ 03에서는 강제로 사용됩니다.

struct T {
  std::shared_ptr<int> b;
  T(); // the usual definitions
  T(const T&);
  T& operator=(const T& src) {
    if (this != &src) // not actually needed for this simple example
      b = src.b; // non-trivial operation
    return *this;
};

이것은 간단한 경우이지만, T(특히 우리가 작업을 믹스로 이동 시키면) 간단한 유형으로 작성하고 싶었던 것보다 이미 더 많은 코드 입니다. 빈 바디는 이미 완벽하게 유효하고 명확한 의미를 갖기 때문에 “디폴트 채우기”를 의미하는 빈 바디에 의존 할 수 없습니다. 실제로 빈 본문이 “기본값 채우기”를 표시하는 데 사용 된 경우 no-op 복사 생성자 등을 명시 적으로 만들 수있는 방법이 없습니다.

다시 일관성의 문제입니다. 빈 본문은 “아무것도하지 않음”을 의미하지만 복사 생성자와 같은 것들에 대해서는 “아무것도하지 않음”을 원하지 않고 오히려 “억제되지 않은 경우 일반적으로하는 모든 것을하십시오”를 의미합니다. 따라서 =default. 그것은의 필요에 복사 / 이동 생성자와 대입 연산자처럼 억제 컴파일러가 생성 멤버 함수를 극복. 그런 다음 기본 생성자에서도 작동하게하는 것은 “분명한”것입니다.

빈 몸체를 가진 기본 생성자를 만드는 것이 좋을 수도 있고, 사소한 멤버 / 기본 생성자 =default를 오래된 코드를 더 최적으로 만드는 경우 와 마찬가지로 사소한 것으로 간주 되지만 사소한 코드에 의존하는 대부분의 저수준 코드 최적화를위한 기본 생성자도 간단한 복사 생성자에 의존합니다. 이전의 모든 복사 생성자를 “고정”해야하는 경우, 모든 이전 기본 생성자를 모두 수정해야하는 것은 그리 쉬운 일이 아닙니다. =default의도를 나타 내기 위해 명시 적을 사용하는 것이 훨씬 명확하고 분명 합니다.

컴파일러에서 생성 한 멤버 함수가 지원을 위해 명시 적으로 변경해야 할 몇 가지 사항이 있습니다. constexpr기본 생성자를 지원 하는 것이 한 예입니다. =default다른 모든 특수 키워드 를 사용 하여 함수를 마크 업 하는 것보다 =defaultC ++ 11의 테마 중 하나 인 기능을 표시 하는 것 보다 정신적으로 사용 하는 것이 더 쉽습니다. 언어를 더 쉽게 만듭니다. 여전히 많은 사마귀와 역전 타협이 있지만 사용 편의성에 관해서는 C ++ 03에서 크게 발전한 것이 분명합니다.

답변

#include <type_traits>

struct X {
    X() = default;
};

struct Y {
    Y() {}
};

int main() {
    static_assert(std::is_trivial_v<X>, "X should be trivial");
    static_assert(std::is_standard_layout_v<X>, "X should be standard layout");

    static_assert(!std::is_trivial_v<Y>, "Y should not be trivial");
    static_assert(std::is_standard_layout_v<Y>, "Y should be standard layout");
}