模板参数中的 Auto 关键字:评估可行性和当前限制
虽然 C 允许在模板参数中进行详尽的类型实例化,但问题仍然是:可以使用“auto”关键字显式声明模板参数。这将大大增强编译时的便利性,无需手动指定参数类型,特别是对于成员函数指针之类的复杂类型。
当前限制
尽管这样的功能很有吸引力,但目前在 C 语言中还无法实现。虽然提供的代码示例尝试使用“auto”定义模板参数,但编译器严格执行传统语法,要求在模板参数内显式类型声明。
解决方法
虽然此限制的直接解决方案仍然难以捉摸,但有一些可行的解决方法可以简化参数传递:
<code class="cpp">#define AUTO_ARG(x) decltype(x), x</code>
然后可以按如下方式使用该宏:
<code class="cpp">f.bar<AUTO_ARG(5)>(); f.bar<AUTO_ARG(&Baz::bang)>();</code>
<code class="cpp">template <typename T> struct foo { foo(const T& x) {} // do whatever }; template <typename T> foo<T> make_foo(const T& x) { return foo<T>(x); }</code>
此生成器函数允许简化参数传递:
<code class="cpp">make_foo(5); make_foo(&Baz::bang);</code>
未来注意事项
尽管这些解决方法提供实用的解决方案,在模板参数中包含“auto”关键字仍然可以被视为未来 C 版本的潜在增强。
以上是我们可以在 C 中使用'auto”作为模板参数吗?的详细内容。更多信息请关注PHP中文网其他相关文章!