默认模板参数 - 不必来自对吗？为什么有效？

Question

默认模板参数是否可以以不从右开始的方式使用 "default value"？

标准是什么？
编译器将如何解释？

例如，我很惊讶这段代码有效。

#include <iostream>
using namespace std;

template <bool T=true, class U>   //"default" from LEFT-most parameter
void f(U u){
    if(T){ cout<<true;}
    else cout<<false;
}
int main() {
    auto x = []( ){  };
    f(x);
    return 0;
}

在此处观看现场演示：https://ideone.com/l6d9du

Answer 1

您可以为任何参数提供默认值。

如果要使用默认值，则不能在默认参数的右侧显式指定参数。但是，在您的示例中，U 是从函数参数的类型推导出来的，并且 T 是默认值。

Answer 2

模板参数推导在这里效果很好，因为对于函数模板，后续的模板参数可能由函数参数推导。在这种情况下，模板参数 U 可以从函数参数 u 推导出来。请注意，对于 class 模板，如您所料，默认模板参数之后的后续模板参数应具有默认模板参数或模板参数包。

§14.1/11 模板参数 [temp.param]:

If a template-parameter of a class template, variable template, or alias template has a default template-argument, each subsequent template-parameter shall either have a default template-argument supplied or be a template parameter pack. If a template-parameter of a primary class template, primary variable template, or alias template is a template parameter pack, it shall be the last template-parameter. A template parameter pack of a function template shall not be followed by another template parameter unless that template parameter can be deduced from the parameter-type-list ([dcl.fct]) of the function template or has a default argument ([temp.deduct]). A template parameter of a deduction guide template ([temp.deduct.guide]) that does not have a default argument shall be deducible from the parameter-type-list of the deduction guide template. [ Example:
template<class T1 = int, class T2> class B;   // error

// U can be neither deduced from the parameter-type-list nor specified
template<class... T, class... U> void f() { } // error
template<class... T, class U> void g() { }    // error
— end example ]

您可以尝试使 U 不可推导，看看会发生什么：

template <bool T=true, class U>   //"default" from LEFT-most parameter
void f(){
    if(T){ cout<<true;}
    else cout<<false;
}
int main() {
    f();            // Fail. Can't deduce U.
    f<true>();      // Fail. Can't deduce U.
    f<true, int>(); // Fine. T=true, U=int.
    return 0;
}

请注意，您必须明确指定所有模板参数才能使代码正常工作，这会使默认模板参数毫无意义。如果你想让 f() 或 f<true>() 工作，你还需要给 U 一个默认的模板参数（或者让它成为模板参数包）。

template <bool T=true, class U=int>
void f(){
    if(T){ cout<<true;}
    else cout<<false;
}
int main() {
    f();              // Fine. T=true,  U=int
    f<false>();       // Fine. T=false, U=int
    f<false, char>(); // Fine. T=false, U=char
    return 0;
}

默认模板参数 - 不必来自对吗？为什么有效？

default template parameter - don't have to be from right? Why it works?

c++

templates

default-parameters