Partielle Vorlage Funktionsspezifikation in C++ funktioniert, aber warum?

Question

Ich habe mich auf Google umgeschaut, um eine Antwort zu finden, aber ich darf nicht mit den richtigen Begriffen suchen, weil ich niemanden finde, der über dieses Verhalten spricht. Ich versuche herauszufinden, ob eine partielle Spezifikation von Vorlagenfunktionen Teil des C++ - Standards ist oder ob dies etwas Compiler-spezifisches ist.

Mit Teilspezifikation meine ich nur die Typen, die der Compiler nicht ableiten kann. Also, wenn ich eine Vorlage Funktion ‚f‘, die 3 Arten nehmen, und man wird in einem Parameter verwendet und abgeleitet werden kann, könnte ich mit dem Formular ‚f‘ nenne f<type, type>(parameter)

Hier ein Beispiel:

#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; 
} 

Ich habe das mit g ++ 4.5.3, g ++ 4.6.3, VS2010 und VS2012 getestet. Da es scheint, von den Compilern weitgehend unterstützt zu werden, ich wette, es ist Teil des Standards, aber kann das bestätigen? Hat jemand irgendwelche Links oder Hinweise auf Ressourcen, die erklären könnten, warum das funktioniert?

Danke

Answer 1

Ziffer 14.8.1.2 der C++ 03-Standard ist

„template Argumente Nachgestellte, die (14.8.2) abgeleitet werden kann, kann aus der Liste der expliziten Template-Argumente weggelassen werden . "