chrono :: monthとchrono :: monthsの違いは何ですか

Question 1

C ++ 20クロノタイプ/値month{7}との違いは何months{7}ですか？そのような似たような名前が2つあるのは混乱しませんか？

Question 2

はい、両方を持っていることmonthとmonths、このライブラリに最初に遭遇したときは混乱する可能性があります。ただし、このライブラリには、その混乱を減らすのに役立つ一貫した命名規則があります。また、直感的な短い名前を保持しながら、異なるセマンティクスを明確に分離できるという利点があります。

`months`

すべての「事前定義」chrono::durationタイプは複数形です。

nanoseconds
microseconds
milliseconds
seconds
minutes
hours
days
weeks
months
years

だから、monthsあるchrono::durationタイプは：

使用月=期間<少なくとも20ビットの符号付き整数型、
                         ratio_divide <years :: period、ratio <12 >>>;

そして、それは正確である¹ / ₁₂のyears。

static_assert(12*months{1} == years{1});

次のように印刷できます。

cout << months{7} << '\n';

そして、出力は次のとおりです。

7[2629746]s

これは、2,629,746の7ユニットとして読み取られます。2,629,746秒は、市民カレンダーの月の平均の長さであることがわかります。別の言い方をすると：

static_assert(months{1} == 2'629'746s);

（正確な数は、バーベットに勝つことを除いて特に重要ではありません）

`month`

month一方、（単数形）はありませんchrono::duration。これは、市民カレンダーの1か月のカレンダー指定子です。または：

static_assert(month{7} == July);

これは、次のような日付を形成するために使用できます。

auto independence_day = month{7}/4d/2020y;

これらの異なるセマンティクスの代数とmonthをmonths反映します。たとえば、「July + July」は無意味であるため、コンパイル時のエラーは次のようになります。

auto x = month{7} + month{7};
         ~~~~~~~~ ^ ~~~~~~~~
error: invalid operands to binary expression ('std::chrono::month' and 'std::chrono::month')

しかし、これは完全に理にかなっています。

auto constexpr x = month{7} + months{7};
static_assert(x == February);

この：

auto constexpr x = months{7} + months{7};
static_assert(x == months{14});

それでも：

auto b = February == months{14};
         ~~~~~~~~ ^  ~~~~~~~~~~
error: invalid operands to binary expression ('const std::chrono::month' and 'std::chrono::months')

つまりmonth、とmonthsは等しくないだけでなく、比較することさえできません。あなたが果物の例えに興味があるなら、それらはリンゴとオレンジです。;-)

との間にも同様の関係がdayありdaysます。そして、の間yearとyears。

複数形の場合はchrono::duration。

そして<chrono>、これら2つの意味的に異なるが類似した概念がコード内で互いに混同されないようにするのに役立つ、型安全性のみがあります。