C++：非本地类型提升

发布于 2024-10-19 15:59:10 字数 566 浏览 5 评论 0原文

假设我有一个 2D 矢量模板类：

template<typename T> class Vec2 {
    T x, y;
    // ...
};

我希望 Vec2 和 Vec2 之间的总和结果为a Vec2，但 C++ 默认情况下不会这样做。

我的想法错了吗？
我应该尝试并实施这种行为吗？

我应该如何实施呢？一种方法可以是重载任何运算符，以便使用 auto 和 decltype 或某些 自己动手类型的提升，但这种方式绝非微不足道，甚至不允许我使用 boost.operators 来简化我的工作。其他建议？

原文

Let's suppose I've got a 2D vector template class:

template<typename T> class Vec2 {
    T x, y;
    // ...
};

I'd expect that the result of a sum between a Vec2<double> and a Vec2<int> would be a Vec2<double>, but C++ won't do this by default.

Am I thinking in the wrong way?
Should I try and implement this behavior?

And how would I be supposed to implement that? One way could be overloading any operator so that the promoted type is computed using auto and decltype or some do it yourself type promotion, but this way is anything but trivial and wouldn't even allow me to use boost.operators in order to ease my work. Other suggestions?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

半仙 2024-10-26 15:59:11

我确实喜欢这样：

template<class V, class W>
struct vector_add;  

template<typename T, typename U, size_t N>
struct vector_add<Vec<T,N>, Vec<U,N> > {
    typedef BOOST_TYPEOF_TPL(T()+U()) value_type;
    typedef Vec<value_type, N> type;
};

http:// www.boost.org/doc/libs/1_43_0/doc/html/typeof/refe.html#typeof.typo

还有：

http://www.boost.org/doc/libs/1_46_0/libs/utility/operators.htm

I do like this:

template<class V, class W>
struct vector_add;  

template<typename T, typename U, size_t N>
struct vector_add<Vec<T,N>, Vec<U,N> > {
    typedef BOOST_TYPEOF_TPL(T()+U()) value_type;
    typedef Vec<value_type, N> type;
};

http://www.boost.org/doc/libs/1_43_0/doc/html/typeof/refe.html#typeof.typo

also:

http://www.boost.org/doc/libs/1_46_0/libs/utility/operators.htm

回复收藏 0 原文