为什么我可以在 C++ 中有一个比率对象

Question

我正在学习 C++11 中的 ratio。根据cplusplus.com 和Professional C++ 2nd 一书（以下段落是其中的摘录）。

有理数的分子和分母表示为 std::intmax_t 类型的编译时间常数。因为编译 这些有理数的时间性质，使用它们可能看起来有点 复杂且与平常不同。您不能定义比率对象 与定义普通对象的方式相同，并且不能调用方法 在上面。您需要使用typedefs。

这意味着我必须写

typedef ratio<1,3> one_third;

而不是

ratio<1,3> one_third;

但我发现这两种写入比率的方式都有效。我可以使用. 或:: 访问比率成员。

问题一、cplusplus.com和Professional C++书错了吗？

以下 sn-p 来自 cplusplus.com 示例。

typedef std::ratio<1,3> one_third;
typedef std::ratio<2,4> two_fourths;
typedef std::ratio_add<one_third,two_fourths> sum;
std::cout << sum::den << std::endl;

问题 2。但是，我遇到了一个错误（使用 VS 2012）

error C2039: 'den' : is not a member of 'std::ratio_add<_R1,_R2>'

根据 cmets，使用typedef ratio_add<one_third, two_fourths>::type sum 更便携。

Answer 1

您不必必须使用typedefs，但正如书中所说，<ratio> 处理编译时数学，其中定义的元函数采用类型模板参数。

如果您不使用typedef，您将创建一个名为one_third 的std::ratio<1,3> 实例，它不适合作为类型参数传递。在这种情况下，您需要使用 decltype 来获取可以传递给 ratio_add 的适当类型

std::ratio<1,3> one_third;
std::ratio<2,4> two_fourths;
std::ratio_add<decltype(one_third), decltype(two_fourths)> sum;
std::cout << decltype(sum)::den << std::endl;

Live demo

---

您看到的错误消息是因为缺少对别名模板的支持，ratio_add（和其他类似的元函数）实现是not standard conforming on VS2012。如链接的错误报告中所述，解决方法是使用嵌套类型type。

typedef std::ratio_add<one_third,two_fourths>::type sum;
std::cout << sum::den << std::endl;