Częściowa specyfikacja funkcji szablonu w C++ działa, ale dlaczego?

Question

Rozglądam się w Google, próbując znaleźć odpowiedź na to pytanie, ale nie mogę wyszukiwać poprawnych terminów, ponieważ nie mogę znaleźć nikogo, kto mówiłby o tym zachowaniu. Próbuję dowiedzieć się, czy częściowa specyfikacja funkcji szablonowych jest częścią standardu C++, czy jest to coś konkretnego kompilatora.

Przez częściową specyfikację mam na myśli określenie tylko typów, których kompilator nie może wydedukować. Więc jeśli mam funkcji szablonu „F”, które trwa 3 rodzaje, a jeden jest używany w parametrze i można wywnioskować, że mogę nazwać „F” z formą f<type, type>(parameter)

Oto przykład:

#include <iostream> 
#include <tuple> 
#include <string> 

template<class A, class B, class C> 
std::tuple<A, B> test(C c) 
{ 
    // do something based on c, return tuple with types A and B 
    return std::make_tuple(A(), B()); 
} 

int main(void) 
{ 
    // I expected I would have to use this form. Specify all parameters. 
    std::tuple<int, int> value3 = test<int, int, int>(5); 

    // Here, I only specified the return value types, did not specify the parameter type, yet it compiles. 
    auto value1 = test<int, int>("c-string"); 

    // Similar example here. Return types specified, parameter type deduced. Compiles fine. 
    auto value2 = test<std::string, int>(42); 

    return 0; 
} 

Testowałem to z g ++ 4.5.3, g ++ 4.6.3, VS2010 i VS2012. Ponieważ wydaje się być szeroko wspierany przez kompilatory, założę się, że jest częścią standardu, ale czy ktoś może to potwierdzić? Czy ktoś ma jakieś linki lub wskazówki do zasobów, które mogą wyjaśnić, dlaczego to działa?

Dziękuję

Answer 1

Ustęp 14.8.1.2 standardowych C++ 03 państw

„Trailing argumenty szablonów, które można wywnioskować (14.8.2), mogą być pominięte na liście wyraźnych argumentów szablonach . "