C++14

C++14 は、C++プログラミング言語のISO / IEC 14882 標準のバージョンです。 C++11の小さな拡張として意図されており、主にバグ修正と小さな改善が特徴で、 C++17に置き換えられました。その承認は 2014 年 8 月 18 日に発表されました。^[1] C++14 は、2014 年 12 月に ISO/IEC 14882:2014 として発行されました。^[2]

以前の C++ 標準の改訂は著しく遅れていたため、承認されるまで「C++1y」という名前が代わりに使用されることがありました。これは、C++11 標準が 2010 年より前にリリースされると予想されて「C++0x」と呼ばれていたのと同様です (実際には 2010 年になり、最終的には 2011 年になりました)。

これらは C++14 のコア言語に追加された機能です。

C++11では、ラムダ関数はreturn文に与えられた式の型に基づいて戻り値の型を推測することができました。C++14は、すべての関数にこの機能を提供します。また、これらの機能はラムダ関数にも拡張され、形式にない関数の戻り値の型を推測できるようになりましたreturn expression;。^[3]

戻り値の型の推論を誘導するには、関数をauto戻り値の型として宣言する必要がありますが、C++11 では末尾の戻り値の型指定子は不要です。

auto DeduceReturnType (); // 戻り値の型を決定します。    

関数の実装で複数の戻り式が使用される場合、それらはすべて同じ型を推論する必要があります。^[4]

戻り値の型を推測する関数は前方宣言できますが、定義されるまで使用できません。その定義は、それを使用する翻訳単位で使用可能である必要があります。

このタイプの関数では再帰を使用できますが、再帰呼び出しは関数の定義内の少なくとも1つのreturn文の後に発生する必要があります。^[4]

auto Correct ( int i ) { if ( i == 1 ) return i ; // 戻り値の型は int と推定される  

     
                  

  return Correct ( i -1 ) + i ; // 今すぐ呼び出してもOK }   


auto Wrong ( int i ) { if ( i != 1 ) return Wrong ( i -1 ) + i ; // これを呼び出すには早すぎます。事前の return ステートメントがありません。  

     
       

  return i ; // 戻り値の型は int と推定されます}                

C++11 では、型推論の 2 つの方法が追加されました。はauto、指定された式に基づいて適切な型の変数を作成する方法でした。decltypeは、指定された式の型を計算する方法でした。 ただし、decltypeとではauto型の推論方法が異なります。 特に、 は常にautoを使用するのと同じように非参照型を推論しますstd::decayがauto&&、 は常に参照型を推論します。 ただし、decltype式の値カテゴリと推論する式の性質に基づいて、参照型または非参照型を推論するように促されることがあります。^{[5] [3]}

int i ; int && f (); auto x3a = i ; // decltype(x3a) は int decltype ( i ) x3d = i ; // decltype(x3d) は int auto x4a = ( i ); // decltype(x4a) は int decltype (( i )) x4d = ( i ); // decltype(x4d) は int& auto x5a = f (); // decltype(x5a) は int decltype ( f ()) x5d = f (); // decltype(x5d) は int&&   
 
                 
          
               
      
               
      

C++14 ではdecltype(auto)構文が追加されました。これにより、auto宣言decltypeで指定された式のルールを使用できるようになります。

この構文は、関数の戻り値の型推論の代わりに構文decltype(auto)を使用することで、戻り値の型推論でも使用できます。 ^[4]decltype(auto)auto

C++11では、コンパイル時に実行できる関数である、constexpr 宣言された関数の概念が導入されました。その戻り値は、整数テンプレート引数などの定数式を必要とする操作で使用できます。ただし、C++11 の constexpr 関数には、返される単一の式 (およびstatic_assertと少数の他の宣言) のみを含めることができます。

C++14ではこれらの制限が緩和され、constexpr宣言された関数には以下のものが含まれるようになりました。^[3]

• 以下の宣言を除く:
  • staticまたはthread_local変数。
  • 初期化子のない変数宣言。
• 条件分岐ステートメントifとswitch。
• 範囲ベースを含む任意のループ ステートメントfor。
• オブジェクトの有効期間が定数式関数内で開始された場合にオブジェクトの値を変更する式。これには、 でconst constexpr宣言されていない非静的メンバー関数の呼び出しが含まれます。

gotoC++14 の緩和された constexpr 宣言関数では、ステートメントは禁止されています。

また、C++11では、宣言されたすべての非静的メンバー関数は、に関してconstexpr暗黙的に としても宣言されると規定されていました。これはその後削除され、非静的メンバー関数は 以外である可能性があります。^[6]ただし、上記の制限により、非メンバー関数は、そのオブジェクトの有効期間が定数式の評価内で開始された場合にのみ、クラスメンバーを変更できます。 constthisconstconst constexpr

以前のバージョンのC++では、関数、クラス、または型エイリアスのみがテンプレート化できました。C++14 では、テンプレート化された変数の作成が許可されています。提案に示されている例は、さまざまな型のpipiの値を取得するために読み取ることができる変数です (たとえば、整数型として読み取られる場合、 、またはとして読み取られる場合、それぞれ、または で可能な最も近い値、または精度など)。 3floatdoublelong doublefloatdoublelong double

このような宣言や定義には、特殊化を含むテンプレートの通常のルールが適用されます。^{[7] [8]}

テンプレート< typename T > constexpr T pi = T ( 3.141592653589793238462643383 ); 
    

// 通常の特殊化ルールが適用されます: 
template <> 
constexpr const char * pi < const char *> = "pi" ;      

C++11 では、コンストラクターがメンバー自体を初期化しなかった場合に、クラス スコープでメンバーに適用される式である、デフォルトのメンバー初期化子が追加されました。集約の定義は、メンバー初期化子を持つクラスを明示的に除外するように変更されたため、集約初期化を使用することは許可されません。

C++14ではこの制限が緩和され、^[3]そのような型の集合初期化が許可されるようになりました。中括弧で囲まれた初期化リストがその引数の値を提供しない場合は、メンバー初期化子がそれを処理します。^[9]

C++14の数値リテラルはバイナリ形式で指定できます。^[3]構文では接頭辞0bまたはを使用します。この構文はJava、C#、Swift、Go、Scala、Ruby、Python、OCaml0Bなどの他の言語でも使用されており、少なくとも2007年以降、一部のCコンパイラでは非公式の拡張として使用されています。^[10]

C++14では、数値リテラル（整数リテラルと浮動小数点リテラルの両方）の数字区切り文字として、単一引用符を任意に使用できます。 ^{[11]これにより、人間の読者は、} subitizingを通じて大きな数値を解析しやすくなります。

自動整数リテラル= 1'000'000 ;自動浮動小数点リテラル= 0.000'015'3 ;自動バイナリリテラル= 0b0100'1100'0110 ;自動a_dozen_crores = 12'00'00'000 ;   
   
   
   

C++11では、ラムダ関数のパラメータは具体的な型で宣言する必要がありました。C++14ではこの要件が緩和され、ラムダ関数のパラメータを型指定子で宣言できるようになりましたauto。^[7]

自動ラムダ= [](自動x 、自動y ) {戻り値x + y ;};          

型推論に関してはauto、ジェネリックラムダはテンプレート引数推論のルールに従います（テンプレート引数推論は似ていますが、すべての点で同一ではありません^{[説明が必要]}）。上記のコードはこれと同等です：^[12]

構造体
{
テンプレート< typename T 、typename U > auto演算子()( T x 、U y ) const { return x + y ;} } lambda {};     
             
 

ジェネリックラムダは本質的にテンプレート化された関数ラムダです。

C++11 のラムダ関数は、外側のスコープ内で宣言された変数を値コピーまたは参照によってキャプチャします。つまり、ラムダの値メンバーは移動のみの型にはできません。^[13] C++14 では、キャプチャされたメンバーを任意の式で初期化できます。これにより、外側のスコープに対応する名前の変数を持たずに、値移動によるキャプチャとラムダの任意のメンバーの宣言の両方が可能になります。^[7]

これは初期化式を使用して行われます。

auto lambda = [値= 1 ] {戻り値;};       

ラムダ関数は、初期化されたlambda値である 1 を返しますvalue。宣言されたキャプチャは、 のように初期化式から型を推測しますauto。

これは、標準std::move関数を使用して移動によってキャプチャするために使用できます。

std :: unique_ptr < int > ptr ( new int ( 10 )); auto lambda = [ value = std :: move ( ptr )] { return * value ;};  
       

属性を使用すると、エンティティを非推奨deprecatedとしてマークできます。これにより、エンティティの使用は引き続き有効になりますが、使用は推奨されないことをユーザーに通知し、コンパイル時に警告メッセージが表示される場合があります。の引数としてオプションの文字列リテラルを指定して、非推奨の理由を説明し、代替案を提案することができます。 deprecated

[[非推奨]] int f ();  

[[非推奨( "g() はスレッドセーフではありません。代わりに h() を使用してください" )]] 
void g ( int & x );    

void h ( int & x );    

void test () { int a = f (); // 警告: 'f' は非推奨ですg ( a ); // 警告: 'g' は非推奨です: g() はスレッドセーフではありません。代わりに h() を使用してください} 

      
   

C++14では共有タイムドミューテックスとそれに付随する共有ロック型が追加されました。^{[14] [15]}

C ++ 標準ライブラリでは、 4 つの連想コンテナ クラスが定義されています。これらのクラスを使用すると、ユーザーはその型の値に基づいて値を検索できます。マップ コンテナを使用すると、ユーザーはキーと値を指定できます。検索はキーによって行われ、値が返されます。ただし、マップの場合のキーであれ、セットの場合の値自体であれ、検索は常に特定のキー型によって行われます。

C++14 では、比較演算子がその型を実際のキー型と比較できる限り、任意の型を使用して検索を行うことができます。^[16]std::stringこれにより、 から何らかの値へのマップをconst char*、 またはオーバーロードが利用可能な他の型と比較できるようになりますoperator< 。 また、 のstd::setユーザーにfindダミーオブジェクトの作成を強制することなく (たとえば、struct Person名前で人を検索するために 全体を作成するなど)、 内の複合オブジェクトを単一のメンバーの値でインデックス付けするのにも役立ちます。

下位互換性を保つために、異種ルックアップは連想コンテナに与えられた比較器がそれを許可する場合にのみ許可されます。標準ライブラリクラスstd::less<>とがstd::greater<>異種ルックアップを可能にするために拡張されています。^[17]

C++11ではユーザー定義リテラルサフィックスの構文が定義されていたが、標準ライブラリではそのいずれも使用されていなかった。C++14では以下の標準リテラルが追加されている: ^[16]

• さまざまなタイプを作成するための「s」std::basic_string。
• std::chrono::duration対応する時間間隔を作成するための「h」、「min」、「s」、「ms」、「us」、「ns」 。
• 「if」、「i」、「il」を使用して、対応するstd::complex<float>、std::complex<double>およびstd::complex<long double>虚数を作成します。

auto str = "hello world" s ; // 文字列を自動的に推定します。auto dur = 60 s ; // chrono::seconds を自動的に推定します。auto z = 1 i ; // complex<double> を自動的に推定します。    
               
                  

2つの「s」リテラルは衝突しません。文字列リテラルは文字列リテラルにのみ作用し、秒リテラルは数値にのみ作用するからです。^[18]

C++11で導入された型std::tupleは、型付きの値の集合をコンパイル時の定数整数でインデックス付けすることを可能にします。C++14ではこれを拡張し、インデックスではなく型でタプルからフェッチできるようになりました。^[16]タプルにその型の要素が複数ある場合、コンパイル時エラーが発生します。^[19]

tuple < string , string , int > t ( "foo" , "bar" , 7 ); int i = get < int > ( t ); // i == 7 int j = get < 2 > ( t ); // 前と同じ: j == 7 string s = get < string > ( t ); // 曖昧さによるコンパイル時エラー     
           
             
     

std::make_uniquestd::make_sharedオブジェクトに対しても同じように使用できますstd::unique_ptr。^[7]

std::integral_constantoperator()定数値を返すオーバーロードを獲得した。 ^[16]

クラステンプレートstd::integer_sequenceと関連するエイリアステンプレートは、パラメータパック内の要素のインデックスなど、コンパイル時の整数シーケンスを表すために追加されました。^[20]

グローバルstd::begin/関数には、定数イテレータを返す/関数と、逆イテレータを返す /および/std::endが追加されました。std::cbeginstd::cendstd::rbeginstd::rendstd::crbeginstd::crend

関数std::exchangeテンプレートは変数に新しい値を割り当て、古い値を返します。^[21]

std::equal、、の新しいオーバーロードはstd::mismatch、std::is_permutation2番目の範囲の反復子のペアを受け取ります。これにより、呼び出し元は2つの範囲が同じ長さであることを個別に確認する必要がなくなります。^[22]

型std::is_final特性は、クラスが とマークされているかどうかを検出しますfinal。

ストリームstd::quotedI/Oマニピュレータは、出力時に区切り文字（デフォルトでは二重引用符）を配置し、入力時に区切り文字を削除し、埋め込まれた区切り文字をエスケープすることで、埋め込まれたスペースを含む文字列の挿入と抽出を可能にします。^[23]

Clangは3.4でC++14のサポートを終了しましたが、標準名はc++1yで、Clang 6ではC++14をデフォルトのC++標準にしました。^[24] GCCはGCC 5でC++14のサポートを終了し、GCC 6ではC++14をデフォルトのC++標準にしました。 ^[25] Microsoft Visual Studio 2017は「ほぼすべての」C++14機能を実装しています。^[26]

• C++14: 知っておくべきことDr. Dobb'sの機能の概要、2014 年 9 月 16 日