purecpp - a cool open source modern c++ community

Lazy Computation

编辑时间：2023-06-16 02:20:06 作者：qicosmos 1条评论

出自：purecpp.cn

转载请注明出处！

作者：bryan.yan

```.cpp
template <int n>
struct fib : conditional_t<n<0, fib<0>, integral_constant<int, (fib<n-1>::value + fib<n-2>::value)>>
{
};

template <>
struct fib<1> : integral_constant<int, 1>
{
};

template <>
struct fib<0> : integral_constant<int, 0>
{
};

static_assert(fib<6>::value == 8);
static_assert(fib<-1>::value == 0); // fatal error: template instantiation depth exceeds maximum of 900
```

当输入 `n < 0` 时，产生 `fatal error: template instantiation depth exceeds maximum of 900` 错误。计算 `fib<n>` 时， `fib<n>::value` 被求值导致无穷递归。

```.cpp
template <class ...Ts>
struct sum;  // 前向引用声明

template <int n>
struct fib : conditional_t<n<0, fib<0>, sum<fib<n-1>, fib<n-2>>> // 只要名字合法
{
};

template <>
struct fib<1> : integral_constant<int, 1>
{
};

template <>
struct fib<0> : integral_constant<int, 0>
{
};

// 实现 fib<n-1> + fib<n-2>
template <class T, T ...N>
struct sum<fib<N>...> : integral_constant<T, (fib<N>::value + ...)>
{
};

static_assert(fib<6>::value == 8);
static_assert(fib<-1>::value == 0);  // OK
```

在表达式中避免计算内嵌类型 `type_identity::type` 或内嵌值 `value_identity::value`。

来说两句吧

最新评论

purecpp

一个很酷的modern c++开源社区

purecpp社区自2015年创办以来，以“Newer is Better”为理念，相信新技术可以改变世界，一直致力于现代C++研究、应用和技术创新，期望通过现代C++的技术创新来提高企业生产力和效率。

社区坚持只发表原创技术文章，已经累计发表了一千多篇原创C++技术文章；

组织了十几场的C++沙龙和C++大会，有力地促进了国内外C++开发者之间的技术交流；

开源了十几个现代C++项目，被近百家公司所使用，有力地推动了现代C++在企业中的应用。

期待更多的C++爱好者能参与到社区C++社区的建设中来，一起为现代C++开源项目添砖加瓦，一起完善C++基础设施和生态圈。

微信公众号:purecpp, 社区邮箱: purecpp@163.com

分类导航

友情链接