질문의 역사:
템플릿은 C++에 일반적인 알고리즘 및 데이터 구조를 효과적으로 구현하기 위해 추가되었습니다. 처음부터 템플릿 사용이 개발자에게 더 편리하도록 입력 인수에 따라 자동으로 유형을 추론하는 메커니즘이 필요했습니다.
문제:
대체 메커니즘은 항상 명확하지 않습니다. 참조, 유형 은닉, 부분 전용화, 참조 템플릿 매개변수 및 상수와 관련하여 모호성이 발생합니다. 때때로 컴파일러는 유형을 추론할 수 없거나 예상치 못한 결과를 출력합니다.
해결책:
컴파일러는 인수를 분석하고 이를 템플릿 매개변수와 일치시켜 cv 한정자, 참조 및 포인터에 대한 규칙을 고려합니다. 단점과 제한으로 인해 자동으로 대체할 수 없는 경우 명시적으로 유형을 지정해야 합니다.
코드 예:
template<typename T> void func(T arg) { /* ... */ } func(10); // T는 int로 추론됩니다. func("abc"); // T는 const char*로 추론됩니다. // T arg와 T& arg의 차이: template<typename T> void printRef(T& arg); // 임시 객체를 받지 않습니다!
주요 특징:
템플릿 함수가 T&를 받아들이고 임시 객체를 전달하려고 하면 어떻게 됩니까?
컴파일러는 임시 객체를 비상수 참조로 전달할 수 없기 때문에 유형 추론을 할 수 없습니다. 컴파일 오류가 발생합니다.
template<typename T> void foo(T& arg); foo(42); // 오류!
배열과 함께 유형 대체가 어떻게 작동합니까?
배열은 값으로 전달될 때 포인터로 "분해"되지만, 템플릿이 참조를 받을 경우 배열의 크기를 유지하여 자주 안전한 크기 템플릿 구현에 사용합니다.
template<typename T, size_t N> void arraySize(T (&arr)[N]) { std::cout << N; } int x[10]; arraySize(x); // 10을 출력합니다.
템플릿 함수 호출 결과를 저장하기 위해 항상 auto를 사용하는 것이 정확하지 않은 이유는 무엇입니까?
타입 추론 시 auto는 const 또는 ref 한정자를 "잘라"낼 수 있으며, 이것이 때때로 예기치 않은 복사 또는 변경 가능성 오류를 초래합니다.
auto x = funcReturningRef(); // x는 값으로, 아니라 참조가 됩니다!
템플릿 함수가 T&를 받아들이고 사용자가 임시 객체를 전달하려고 합니다. 결과적으로 코드는 컴파일되지 않으며, 오류는 개발자를 혼란에 빠뜨립니다.
장점:
단점:
정렬기는 일반 참조 (T&&)를 사용하여 std::forward를 통해 구현되어 lvalue와 rvalue 모두에 대해 잘 작동하도록 하여 성능과 유연성을 높입니다.
장점:
단점: