コード:

6.7 宣言
構文規則
        宣言：
                宣言指定子列  初期化宣言子並びopt;
        宣言指定子列：
                記憶域クラス指定子  宣言指定子列opt
                型指定子  宣言指定子列opt
                型修飾子  宣言指定子列opt
                関数指定子  宣言指定子列opt
        初期化宣言子並び：
                初期化宣言子
                初期化宣言子並び , 初期化宣言子
        初期化宣言子：
                宣言子
                宣言子  =  初期化子
制約  宣言では，少なくとも一つの宣言子 (関数の仮引数又は構造体若しくは
共用体のメンバ以外のもの)，タグ又は列挙体のメンバを宣言しなければならない。
  識別子が無結合である場合，その識別子の宣言（宣言子又は型指定子の中の）が
同じ有効範囲及び同じ名前空間の中で，二つ以上あってはならない。
ただし，タグの宣言は除く（6.7.2.3 参照）。
  同じオブジェクト又は同じ関数についての同じ有効範囲の中のすべての宣言は，
適合する型を指定しなければならない。

コード:

6.7.2  型指定子
構文規則
        型指定子：
                void
                char
                short
                int
                long
                (以下略)

コード:

6.7.5  宣言子
構文規則
        宣言子：
                ポインタopt 直接宣言子
        直接宣言子：
                識別子
                ( 宣言子 )
                直接宣言子  [  型修飾子並びopt  代入式opt  ]
                直接宣言子  [  static  型修飾子並びopt  代入式  ]
                直接宣言子  [  型修飾子並び  static  代入式 ]
                直接宣言子  [  型修飾子並びopt  *  ]
                直接宣言子  (  仮引数型並び  )
                直接宣言子  (  識別子並びopt )
        ポインタ：
                *  型修飾子並びopt
                *  型修飾子並びopt  ポインタ
        型修飾子並び：
                型修飾子
                型修飾子並び  型修飾子
        仮引数型並び：
                仮引数並び
                仮引数並び  ,  ...
        仮引数並び：
                仮引数宣言
                仮引数並び  ,  仮引数宣言
        仮引数宣言：
                宣言指定子列    宣言子
                宣言指定子列    抽象宣言子opt
        識別子並び：
                識別子
                識別子並び  ,  識別子

意味規則  各宣言子は一つの識別子を宣言する。式の中にその宣言子と同じ形式の
オペランドが現れた場合，そのオペランドは，宣言指定子列が指示する有効範囲，
記憶域期間及び型をもつ関数又はオブジェクトを指し示す。

コード:

6.7.5.1  ポインタ宣言子
意味規則
  宣言“T D1”において，D1 が形式
          *  型修飾子並びopt  D
をもつ場合，次のとおりとする。

コード:

        宣言子：
                ポインタopt 直接宣言子
        ポインタ：
                *  型修飾子並びopt
                *  型修飾子並びopt  ポインタ

コード:

6.7.5.2  配列宣言子
制約  [ 及び ] の間には，省略可能な型修飾子及びキーワード static に加え，
式又は * を置くことができる。[ 及び ] が（配列の大きさを指定する）式を
囲む場合，その式の型は整数型でなければならない。式が定数式の場合，その値は
0 より大きくなければならない。要素の型が不完全型又は関数型であってはなら
ない。省略可能な型修飾子及びキーワード static は，配列型をもつ関数仮引数の
宣言中だけで使用できる。そして，一番外側の配列型派生だけで使用できる。

コード:

        直接宣言子：
                直接宣言子  [  型修飾子並びopt  代入式opt  ]
                直接宣言子  [  static  型修飾子並びopt  代入式  ]
                直接宣言子  [  型修飾子並び  static  代入式 ]
                直接宣言子  [  型修飾子並びopt  *  ]

コード:

6.7.5.3  関数宣言子（関数原型を含む）
制約  関数宣言子は，関数型又は配列型を返却値の型として指定してはならない。
仮引数宣言に記憶域クラス指定子として，register 以外のものを指定しては
ならない。関数定義の一部でない関数宣言子における識別子並びは，空でなければ
ならない。関数定義の一部である関数宣言子の仮引数型並びにある仮引数は，
型調整後に不完全型をもってはならない。

コード:

        直接宣言子：
                直接宣言子  (  仮引数型並び  )
                直接宣言子  (  識別子並びopt )

コード:

pplx::task<void> Get()
{
    return pplx::create_task(
        [] {
            http_client client(L"https://jsonplaceholder.typicode.com/posts/1");
            return client.request(methods::GET);
        }
    ).then(
        [](http_response response) {
            if (response.status_code() == status_codes::OK) {
                return response.extract_json();
            }
        }
    ).then(
        [](json::value json) {
            std::wcout << json[L"title"].as_string() << std::endl;
        }
    );
}

コード:

pplx::task<void> Get()
{
    auto f1 = [] {
        http_client client(L"https://jsonplaceholder.typicode.com/posts/1");
        return client.request(methods::GET);
    };
    auto f2 = [](http_response response) {
        if (response.status_code() == status_codes::OK) {
            return response.extract_json();
        }
    };
    auto f3 = [](json::value json) {
        std::wcout << json[L"title"].as_string() << std::endl;
    };
    return pplx::create_task(f1).then(f2).then(f3);
}

コード:

auto f1() {
    http_client client(L"https://jsonplaceholder.typicode.com/posts/1");
    return client.request(methods::GET);
}

auto f2(http_response response) {
    if (response.status_code() == status_codes::OK) {
        return response.extract_json();
    }
}

auto f3(json::value json) {
    std::wcout << json[L"title"].as_string() << std::endl;
}

pplx::task<void> Get()
{
    return pplx::create_task(f1).then(f2).then(f3);
}

コード:

[]{}

コード:

宣言は、「宣言指定子 宣言子 ;」という形をしています。
次の宣言で、宣言指定子は型指定子の int です。
　int i;    // i はオブジェクト指定子です。
　int a[8]; // a[8] は 配列宣言子です。
　int *p;   // *p はポインタ宣言子です。
　int f();  // f() は関数宣言子です。
i, a, p, f は識別子で、a, a, p はオブジェクト名、f は関数名です。
オブジェクトというのは、変数のことだと思ってください。

int は識別子ではありませんが、
typedef int I; という宣言があると、
I f(); という関数宣言では、I も f も識別子です。

識別子には、名前空間名やクラス名を前置できます。

namespace Hoge { typedef int Int; } // Int は名前空間 Hoge 内で宣言された。
class Fuga { Hoge::Int Get(); }     // Get はクラス Fuga 内で宣言された。

Hoge::Int Fuga::Get();              // 関数 Get の宣言
Hoge::Int Fuga::Get() { return 5; } // 関数 Get の定義

テンプレートクラスを宣言すると、そのクラスを参照するときに
テンプレート引数を < > で付加します。

template<typename T> class task { public: T* p; };

task<void> Get() {
    task<void> t;
	t.p = 0;
	return t;
}

コード:

namespace pplx
{
    template <class Ty>
    class task {/* 略 */};
    
	template<>
	class task<void> {/* 略 */};
}

pplx::task<void> Get() {
	pplx::task<void> inst;
	return inst;
}

コード:

// 最小のラムダ式
[](){};

コード:

#include <iostream>
using namespace std;

template <class Func>
void Proc(Func f) {
    f();
}

int main(void){
    Proc([](){
        cout << "実行されました。" << endl;
    });
    return 0;
}