C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了c – 模板模板功能和参数推导大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
我遇到了模板模板和参数扣除的问题.这是代码
template<typename U,template<typename> class T>
void test(T<U>&& t)
{
  ...
}

我希望这可以接受左值和左值,但只适用于右值.崩溃规则“T&&& = T&”在这种情况下不适用?

当然,我也可以声明左值引用函数,但是使代码的可读性降低.

如果你问我为什么需要这个就是使用static_assert来检查T是否是一个特定的类.如果有一种更简单的方法,我会很乐意改变我的代码,但我想知道模板模板是否可以这种方式使用.

谢谢

解决方法

与可以推断为引用类型的typename T不同,模板< typename> T类只能被推断为类模板,因此T< U>总是推导出一种对象类型.

您可以在T上编写模板化的函数,然后在static_assert中解压缩模板类型:

template<typename T> struct is_particular_class: std::false_type {};
template<typename U> struct is_particular_class<ParticularClass<U>>: std::true_type {};

template<typename T> void test(T &&) {
  static_assert(is_particular_class<std::remove_reference<T>::type>::value,"!");
}

大佬总结

以上是大佬教程为你收集整理的c – 模板模板功能和参数推导全部内容,希望文章能够帮你解决c – 模板模板功能和参数推导所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。