boost::mpl学习日记1

最新推荐文章于 2023-08-10 23:05:11 发布

原创最新推荐文章于 2023-08-10 23:05:11 发布 · 804 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#C #C++ #C# #F#

开发专栏收录该内容

12 篇文章

订阅专栏

本文通过实例演示了如何使用MPL库进行元编程操作，包括对整数序列进行转换及算术运算，并展示了如何确保类型一致性。

记录一下mpl学习结果：

[quote]1-1.
Turn vector_c<int,1,2,3> into a type sequence with elements (2,3,4) using transform.
[/quote]

对vector做一个加1就可以了

	
typedef mpl::vector_c<int,1,2,3>	AAA;
typedef mpl::vector_c<int,2,3,4>	CCC;
typedef mpl::transform<AAA,mpl::plus<_1, mpl::int_<1> > >::type BBB;
BOOST_STATIC_ASSERT((
	mpl::equal<BBB,CCC>::type::value
	));

[quote]1-2.
Turn vector_c<int,1,2,3> into a type sequence with elements (1,4,9) using transform.
[/quote]

对两个AAA相乘

typedef mpl::vector_c<int,1,4,9>	DDD;

typedef mpl::transform<AAA,AAA, mpl::multiplies<_1,_2>  >::type EEE;
BOOST_STATIC_ASSERT((
	mpl::equal<DDD,EEE>::type::value
	));

[quote]1-5.

There's still a problem with the dimensional analysis code in section 1.1. Hint: What happens when you do:

f = f + m * a;

Repair this example using techniques shown in this chapter.[/quote]

加法操作支持两种类型，然后确保类型是一致的就可以了

template <class T, class D1, class D2>
quantity<T,D1>
operator+(quantity<T,D1> x, quantity<T,D2> y)
{
	BOOST_STATIC_ASSERT((
		mpl::equal<D1,D2>::type::value
		));
	return quantity<T,D1>(x.value() + y.value());
}