templates - D 类型推断取决于模板参数的顺序

Question

T maybe(alias nullCheck, T)(T expr, T def)
{
    if (nullCheck(expr))
    {
        return def;
    }
    else
    {
        return expr;
    }
}

auto tokens = chomp(readln())
              .toLower()
              .split()
              .maybe!(a => a.empty)([""])

当模板参数maybe与别名一起排列时，编译器能够正确推断参数类型。但是，当模板参数切换为 T 先出现时，它无法推断它们，也不会编译。为什么是这样？

Answer 1

这是因为模板参数毕竟是位置参数。如果nullCheck是第二个参数，则必须先指定T，然后才能指定nullCheck.

编译器只能（非正式地）尝试推断最后一个位置参数右侧的参数，就像它们是默认参数一样。

请注意，这与 C++ 中的相同，如果您考虑一下，这也是合理的。