C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了c – 为什么结构体不能作为模板非类型参数的值传递?大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
非类型模板参数显然不是类型,例如:
template<int x>
void foo() { cout << x; }

在这种情况下,还有其他的选项比int,我想参考this great answer.

现在,有一件事我错了:structs.考虑:

struct Triple { int x,y,z; };

Triple t { 1,2,3 };

template<Triple const& t>
class Foo { };

现在,使用正常的非类型引用语义,我们可以写:

Foo<t> f;

值得注意的是,t不能是constexpr或const,因为这意味着内部链接,这基本上意味着该行将不会编译.我们可以通过将t声明为const extern来绕过它.这本身可能有点奇怪,但真正让我想知道的是为什么这是不可能的:

Foo<Triple { 1,3 }> f;

我们从编译器得到一个非常好的错误

我们无法通过值指定Triple在模板中,因为这是不允许的.但是,我不明白这一小代码的真正问题.什么是不允许使用结构体作为价值参数的原因.如果我可以使用三个int,为什么不是三个int的结构体?如果它只有微不足道的特殊成员,处理不应该只是三个变量.

解决方法

我认为“因为mikta是一个痛苦的指明正确和实施”是我们没有这个的主要原因.当然,这样做很容易,但是人们会抱怨如何使用struct template参数在所有相同的情况下都不起作用,其他模板参数会做(考虑部分专业化,或者操作符== ).

在我看来,弄得整个蛋糕太乱了,只有一个小小的片段不够满意,可能更令人沮丧.做这个微小的工作不会给我更多的权力,而不是像下面这样的东西,这具有与开箱即用的各种东西(包括部分专业化)的额外优势.

template <int X,int Y,int Z>
struct Meta_triple {
    // static value getters
    static constexpr auto x = X;
    static constexpr auto y = Y;
    static constexpr auto z = Z;
    // implicit conversion to Triple 
    constexpr operator Triple() const { return { X,Y,Z }; }
    // function call operator so one can force the conversion to Triple with
    // Meta_triple<1,3>()()
    constexpr Triple operator()() const { return *this; }
};

大佬总结

以上是大佬教程为你收集整理的c – 为什么结构体不能作为模板非类型参数的值传递?全部内容,希望文章能够帮你解决c – 为什么结构体不能作为模板非类型参数的值传递?所遇到的程序开发问题。

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

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