C ++ 클래스 생성자에서 실패 사례를 처리하는 방법은 무엇입니까?

생성자가 일부 작업을 수행하는 CPP 클래스가 있습니다. 이러한 작업 중 일부가 실패 할 수 있습니다. 생성자가 아무것도 반환하지 않는다는 것을 알고 있습니다.

내 질문은

1. 생성자에서 멤버를 초기화하는 것 외에 다른 작업을 수행 할 수 있습니까?

2. 생성자에서 일부 작업이 실패했음을 호출 함수에 알릴 수 있습니까?

3. new ClassName()생성자에서 오류가 발생하면 NULL 을 반환 할 수 있습니까 ?

1. 예, 일부 코딩 표준은이를 금지 할 수 있습니다.

2. 예. 권장되는 방법은 예외를 던지는 것입니다. 또는 개체 내에 오류 정보를 저장하고이 정보에 액세스하는 방법을 제공 할 수 있습니다.

3. 아니.

계산을 수행하고 성공한 경우 또는 실패한 경우가 아닌 객체를 반환하는 정적 메서드를 만들 수 있습니다.

이러한 객체 구성 방법에 따라 정적이 아닌 방법으로 객체를 구성 할 수있는 다른 객체를 만드는 것이 좋습니다.

간접적으로 생성자를 호출하는 것을 종종 "공장"이라고합니다.

또한 null 객체를 반환 할 수 있는데, 이는 null을 반환하는 것보다 더 나은 솔루션 일 수 있습니다.

@SebastianRedl은 이미 간단하고 직접적인 답변을 제공했지만 추가 설명이 유용 할 수 있습니다.

TL; DR = 생성자를 간단하게 유지하는 스타일 규칙이 있으며 그 이유가 있지만 이러한 이유는 주로 역사적인 (또는 단순히 나쁜) 스타일의 코딩과 관련이 있습니다. 생성자에서 예외 처리는 잘 정의되어 있으며 완전히 구성된 로컬 변수 및 멤버에 대해 소멸자가 계속 호출되므로 관용적 C ++ 코드에는 아무런 문제가 없어야합니다. 스타일 규칙은 어쨌든 지속되지만 일반적으로 문제가되지는 않습니다. 모든 초기화가 생성자에 있어야하는 것은 아니며 특히 생성자에 반드시 필요한 것은 아닙니다.

생성자가 정의 된 유효한 상태를 설정하기 위해 가능한 최소를 수행 하는 것이 일반적인 스타일 규칙 입니다. 초기화가 더 복잡한 경우 생성자 외부에서 처리해야합니다. 생성자가 설정할 수있는 초기화하기 저렴한 값이 없으면 클래스에 의해 시행되는 불변 인을 약화시켜 값을 추가해야합니다. 예를 들어, 클래스를 관리하기 위해 스토리지를 할당하는 것이 너무 비싸다면, 할당되지 않은 아직 null 상태를 추가하십시오. 아헴.

일반적으로이 극단적 인 형태에서는 절대적인 것과는 거리가 멀다. 특히 내 풍자에서 알 수 있듯이, 나는 불변의 약화는 거의 항상 가격이 너무 높다고 캠프에 있습니다. 그러나 스타일 규칙 뒤에는 이유가 있으며, 최소한의 생성자 와 강력한 불변을 둘 수있는 방법이 있습니다 .

그 이유는 특히 예외 상황에서 자동 소멸자 정리와 관련이 있습니다. 기본적으로 컴파일러가 소멸자 호출을 담당 할 때 명확하게 정의 된 지점이 있어야합니다. 여전히 생성자 호출을 수행하는 동안 오브젝트가 완전히 생성 될 필요는 없으므로 해당 오브젝트의 소멸자를 호출하는 것은 유효하지 않습니다. 따라서 객체를 파괴하는 책임은 생성자가 성공적으로 완료 될 때만 컴파일러로 전송됩니다. 이것은 RAII (Resource Allocation Is Initialization)로 알려져 있으며 실제로 가장 좋은 이름은 아닙니다.

생성자 내에서 예외 처리가 발생하면 일반적으로 try .. catch.

그러나 이미 성공적으로 생성 된 객체의 구성 요소 는 이미 컴파일러 책임입니다. 즉, 실제로는 큰 문제가 아닙니다. 예 :

classname (args) : base1 (args), member2 (args), member3 (args)
{
}

이 생성자의 본문이 비어 있습니다. 의 생성자가base1 , member2그리고 member3예외 안전 걱정할 필요가 없습니다. 예를 들어 member2throw 생성자가 생성하면 해당 생성자가 자체 정리를 담당합니다. 기지 base1는 이미 완전히 건설되었으므로 소멸자가 자동으로 호출됩니다. member3부분적으로 구성되지 않았으므로 정리할 필요가 없습니다.

본문이 있더라도 예외가 발생하기 전에 완전히 작성된 로컬 변수는 다른 함수와 마찬가지로 자동으로 소멸됩니다. 원시 포인터를 저글링하거나 어떤 종류의 암시 적 상태 (다른 곳에 저장 됨)를 "소유"하는 생성자 본문-일반적으로 시작 / 획득 함수 호출이 종료 / 릴리스 호출과 일치해야 함을 의미합니다. 예외 안전 문제가 발생할 수 있지만 실제 문제가 있습니다. 클래스를 통해 자원을 올바르게 관리하지 못합니다. 예를 들어 unique_ptr생성자에서 raw 포인터를 로 바꾸면 unique_ptr필요한 경우 소멸자 가 자동으로 호출됩니다.

사람들이 최소 제작자를 선호하는 이유는 여전히 남아 있습니다. 하나는 단순히 스타일 규칙이 존재하기 때문에 많은 사람들이 생성자 호출이 저렴하다고 가정합니다. 이를 유지하면서도 여전히 불변성을 가지고있는 한 가지 방법은 불변성이 약화 된 별도의 팩토리 / 빌더 클래스를 사용하는 것인데, 이는 잠재적으로 많은 수의 정규 멤버 함수 호출을 사용하여 필요한 초기 값을 설정합니다. 초기 상태가 필요하면 해당 객체를 인수가 아닌 클래스의 생성자에 인수로 전달하십시오. 그것은 약한 불변 개체의 "장을 훔칠"수 있습니다 noexcept.

물론 make_whatever ()함수 에서 함수를 래핑 할 수 있으므로 해당 함수를 호출 한 사람은 변형 된 클래스 클래스를 볼 필요가 없습니다.