C가 생성자에 대한 템플릿 매개변수 추론을 허용하지 않는 이유는 무엇입니까?

생성자에서 템플릿 매개변수 추론

C 언어에서는 함수 매개변수에서 템플릿 매개변수를 추론할 수 있지만 클래스 생성자에서는 그렇지 않습니다. 이는 다음과 같은 질문을 제기할 수 있습니다. 생성자에 대해 이 추론을 허용하지 않는 이유는 무엇입니까?

생성자에 대해 템플릿 추론이 허용되지 않는 한 가지 이유는 생성자가 클래스의 유일한 진입점이 아니라는 것입니다. 복사 생성자와 할당 연산자는 클래스의 객체를 생성하는 추가 방법을 제공합니다. 생성자에 대한 템플릿 추론을 허용하려면 컴파일러가 템플릿 매개변수를 결정할 때 이러한 진입점을 모두 고려해야 하므로 구문이 모호해질 수 있습니다.

class MyClass {
    int a;
    int b;

public:
    MyClass(int a, int b): a(a), b(b) {}
};

이 예에서 생성자에 대해 템플릿 추론이 허용된 경우, 복사 생성자나 할당 연산자를 사용하여 MyClass 객체를 생성할 때 어떤 템플릿 매개변수를 사용해야 하는지가 불분명합니다.

템플릿 추론이 허용되지 않는 또 다른 이유 생성자는 예상치 못한 동작이 발생할 수 있다는 점입니다. 다음 코드를 고려하십시오.

class MyContainer {
    std::vector<T> vec;
};

int main() {
    MyContainer<int> container; // explicitly specify template parameter
    MyContainer container2(vec); // infer template parameter from constructor
}

이 예에서 MyContainer 클래스는 명시적으로 지정된 템플릿 매개변수 또는 특정 유형의 벡터를 사용하여 생성될 수 있습니다. 생성자에 대해 템플릿 추론이 허용된 경우 코드의 두 번째 줄은 T 유형의 MyContainer를 생성합니다. 그러나 사용자가 int 유형의 MyContainer를 생성하려고 했을 수 있으므로 이는 의도된 동작이 아닐 수도 있습니다.

이러한 문제로 인해 클래스 생성자에는 템플릿 추론이 허용되지 않습니다. 그러나 C 17에서는 부분 템플릿 특수화를 사용하여 유사한 효과를 얻을 수 있습니다. 부분 템플릿 특수화를 사용하면 사용자가 특정 유형에 대한 템플릿 매개변수를 지정하고 다른 템플릿 매개변수는 추론되도록 남겨 둘 수 있습니다.

template <typename T>
class MyContainer {
    std::vector<T> vec;
};

template <>
class MyContainer<int> {
    std::vector<int> vec;
};

int main() {
    MyContainer container; // infer template parameter to 'int'
    MyContainer<double> container2; // explicitly specify template parameter
}

이 예에서 MyContainer 클래스에는 int에 대한 부분 템플릿 특수화가 있습니다. 이는 MyContainer가 int 유형으로 생성되면 템플릿 매개변수가 자동으로 int로 추론된다는 의미입니다. 다른 유형의 경우 템플릿 매개변수를 명시적으로 지정해야 합니다.

위 내용은 C가 생성자에 대한 템플릿 매개변수 추론을 허용하지 않는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!