std::ratio_divide(C++11)

namespace std {
  template <class R1, class R2>
  using ratio_divide = …;
}

概要

ratio_divideは、左辺のratioを右辺のratioで除算したratio型を作るエイリアステンプレートである。

効果

除算結果は、ratio<R1::num * R2::den, R1::den * R2::num>という型になる。

実装によっては、演算アルゴリズムによってオーバーフローが起こる可能性がある。オーバーフローが起こった場合、プログラムは不適格となる。

例

#include <ratio>

int main()
{
  using r1 = std::ratio<2, 5>;
  using r2 = std::ratio<5, 3>;

  using result = std::ratio_divide<r1, r2>;

  static_assert(result::num == 6, "result num is 6");
  static_assert(result::den == 25, "result den is 25");
}

出力

バージョン

言語

• C++11

処理系

• Clang: 3.0 ✅
• GCC: 4.6.4 ✅
• Visual C++: ??

参照

• LWG Issue 921. Rational Arithmetic should use template aliases
  • C++11で、ratioの算術演算がクラステンプレートからエイリアステンプレートへ改められ、ratioにネストされた型typeが追加された。演算結果が既約化されたratioそのものとして扱えるようにするため
• LWG Issue 948. ratio arithmetic tweak
  • C++11で、処理系がオーバーフローを避けるために別のアルゴリズムを使ってよいこと、オーバーフローが起きた場合は診断が必要であることが明記された