함수와 달리 C 템플릿 매개변수를 클래스 생성자에서 추론할 수 없는 이유는 무엇입니까?

클래스 생성자에서 템플릿 매개변수를 추론할 수 없는 이유는 무엇입니까?

C에서는 함수 매개변수에서 템플릿 매개변수를 추론할 수 있으므로 편리한 유형 추론이 가능합니다. 그러나 이 추론은 클래스 생성자까지 확장되지 않습니다.

이유:
클래스 생성자에 대한 추론이 부족한 이유는 생성자가 클래스 생성자의 유일한 진입점이 아니라는 사실 때문입니다. 수업. 복사 생성자와 할당 연산자는 템플릿 매개 변수에 대한 명시적인 정보 없이도 개체를 조작할 수 있습니다.

다음 예를 고려하세요.

MyClass m(string s);
MyClass *pm;
*pm = m;

이 시나리오에서는 컴파일러가 결정하기 어렵습니다. m과 pm 모두 이 정보가 부족하기 때문에 pm의 템플릿 매개변수입니다. 따라서 클래스 생성자에 대한 추론을 허용하면 불확실성과 구문상의 어려움이 발생합니다.

C 17의 예외:
C 17에서는 이 규칙에 대한 예외가 도입되었습니다. std::pair 및 std::tuple과 같은 특정 유형의 경우 템플릿 매개변수는 생성자 인수에서 추론될 수 있습니다.

추론이 바람직하지 않은 경우:
어떤 경우에는 생성자의 템플릿 매개변수는 바람직하지 않을 수 있습니다. 생성자가 재정의할 수 없는 기본 템플릿 매개변수를 사용하는 클래스를 생각해 보세요. 추론이 허용되면 잠재적으로 기본값을 재정의하고 예기치 않은 동작이 발생할 수 있습니다.

따라서 함수 매개변수에 대한 템플릿 매개변수 추론은 코드 간결성을 향상시키는 반면, 클래스 생성자에 대한 그러한 추론이 없으면 명확성이 보장되고 잠재적인 오류가 발생하지 않습니다. 수업 사용법이 모호합니다.

위 내용은 함수와 달리 C 템플릿 매개변수를 클래스 생성자에서 추론할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!