是否可以在没有显式专门化的情况下推断模板参数？

您可以接受任何可转换为A&lt；的对象&燃气轮机并在函数内部手动转换

如果没有其他的foo（）重载

…你可以去

无效foo（自动t）{
A arg{t}；//使用这个函数，就像您在示例中使用“A&lt；t&gt；arg”一样
}

对于旧的C++版本，从下面介绍的文件中引入必要数量的黑客。

如果需要在多个模板重载中进行选择

…因此需要SFINAE，解决方案有点复杂：

void foo（auto t）requires需要{A{t}；}{
一个arg{t}；
}

没有C++20，就没有要求（和自动函数参数）。解决办法：

模板&lt；typename T&gt；自动foo（T）——&gt；标准：：void\u t&lt；decltype（A{t}）&gt；{
一个arg{t}；
}

如果您甚至不能使用C++17，那么您就没有CTAD=&gt；没有A{t}（也没有std:：void_t；即使它是一个单行程序，在下面的示例中，我将展示另一个旧的SFINAE技巧仅供参考）。为了解决这个问题，我建议使用STL使用的相同方法-make\uuz函数。对于C++14甚至C++11：

模板&lt；类型名T，内部N&gt；A&lt；T&gt；使A（S&lt；T，N&gt；S）{returns；}
模板&lt；typename T&gt；A&lt；T&gt；使A（A&lt；T&gt；A）{返回A；}
模板&lt；typename T&gt；void foo（T，decltype（make_A（T））*=nullptr）{
自动参数=使_A（t）；
}