왜 C++은 템플릿이 아닌 함수에서 가변 인자를 허용하지 않습니까?

Question

int foo(int i) 
{ 
    return i; 
} 

int foo(int i, int... n) 
{ 
    return i + foo(n...); 
} 

int main() 
{ 
    return foo(1, 2, 3); // error 
} 

왜 C++에서 그런 직관적 인 구문을 허용하지 않습니까?

Answer 1

두 번째 foo 함수를 인스턴스화하는 데 템플릿 메커니즘이 필요합니다. 기능의 서명은 사용시에만 결정되기 때문입니다. 여기에서 요구할 수있는 유일한 기능은 템플릿 매개 변수 팩이 int으로 제한되는 함수 템플릿을 구문에 포함한다는 것입니다.

템플릿 키워드가없는 템플릿에는 상당한 반대가 있습니다. 그러나 개념 TS와 관련하여 상황이 달라질 것입니다.