機能の概要

ウィキペディア小見出し辞書

機能の概要

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/09/08 09:19 UTC 版)

「コンセプト (C++)」の記事における「機能の概要」の解説

コンセプトが記載された最後の規格書ドラフトである N2914 の記述に基づいて説明する。 コンセプトは、名前付きの構造であり、型が提供しなければならない機能を指定する。この点は、オブジェクト指向プログラミングで、型の行えることの制限の定義を基底クラスにより行うのに似ている。しかしオブジェクト指向プログラミングとは違い、コンセプトの定義自体にはテンプレートに渡される型が明示的に関連付けられず、テンプレート定義の側で結びつけられる: templateconst T& min(const T &x, const T &y){ return x < y ? x : y;} テンプレート型引数にclassやtypenameを使い任意の型と指定するのではなく、前方で定義されたコンセプトであるLessThanComparableを使用している。テンプレート関数minに渡された型がコンセプトLessThanComparableを満たさない場合、コンパイルエラーとなり、テンプレート実体化に使われた型がLessThanComparableコンセプトに適合しなかったことが報告される。 より一般的なコンセプトの使用の記法は、以下のようになる: template requires LessThanComparableconst T& min(const T &x, const T &y){ return x < y ? x : y;} requiresキーワードの後には、コンセプト宣言のリストが続く。これにより、複数の型を使うコンセプトを使用できる。また、requires !LessThanComparableのように用いることも出来、あるコンセプトに合致する型の使用を禁止することが出来る。これらの機能は、テンプレートの特殊化と同様の方法で使用できる。一般的なテンプレートを少ない機能しか使わないものとして定義し、さらに多機能なコンセプトを用いた特殊化を用意することで、その機能を用いて高いパフォーマンスや高機能性を実現できる。 コンセプトは以下のように定義される: auto concept LessThanComparable{ bool operator<(T, T);} この例に含まれているキーワードautoは、コンセプトに記述された操作を提供するあらゆる型がコンセプトを満たすこととする、ということを示すものである。autoキーワードが無い場合、コンセプトを満たす型を宣言するのにコンセプトマップを使う必要がある。 このコンセプトは、「自身と同じ型の引数を二つ取り、boolを返す演算子 < を持つあらゆる型はLessThanComparableである」ということを示している。演算子は大域関数ではなく、型Tのメンバ関数でなくてはならない。 コンセプトは、複数の型を含むことも出来る。例えば、二つの型をとり、片方がもう片方の型へと変換できる、ということを表すコンセプトは: auto concept Convertible{ operator U(const T&);} これをテンプレートで使うためには、コンセプトの一般的使用の記法を使う必要がある: template requires ConvertibleU convert(const T& t){ return t;} コンセプトは複合できる。例えば、Regularというコンセプトが与えられている場合: concept InputIterator{ require Regular; Value operator*(const Iter&); Iter& operator++(Iter&); Iter operator++(Iter&, int);} InputIteratorコンセプトに渡されたテンプレート引数の一つ目は、Regularコンセプトを満たすことが確認される。 継承を行うように、コンセプトも他のコンセプトから派生できる。そして、クラスの継承のように、派生コンセプトも基底コンセプトの要件を満たす。派生コンセプトは、クラスの派生のように定義される: concept ForwardIterator : InputIterator{ //ここに他の要件を追記する。} コンセプトに型名 (typename)を結び付けることもできる。これにより、型名が使用可能であることをコンセプトの要件として表現できる: concept InputIterator{ typename value_type; typename reference; typename pointer; typename difference_type; require Regular; require Convertible; reference operator*(const Iter&); // デリファレンス Iter& operator++(Iter&); // 前置インクリメント Iter operator++(Iter&, int); // 後置インクリメント // ...}

機能の概要

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/03 22:12 UTC 版)

「Mission Control」の記事における「機能の概要」の解説

Exposéには3つの整列モードがある。この3つのモードは、デフォルト設定ではファンクションキーに割り当てられているが、設定を変更することでカーソルを画面の角に持っていくことで発動させるようにしたり、マウスのボタンによって動作するようにできる。 全ウィンドウ整列。動作中の全てのウィンドウが画面上に並べられる。デフォルトではF9キーに対応。実行中にtabキーを押すと、「アプリケーションウィンドウ整列」に切り替わる。 アプリケーションウィンドウ整列。前面のアプリケーションが管理するウィンドウが、画面上に並べられる（他のアプリケーションのウィンドウは薄暗く表示される）。デフォルトではF10キーに対応。 デスクトップ表示。全てのウィンドウが画面外に退避してデスクトップの全面表示になる。デフォルトではF11キーに対応。 全ウィンドウ整列とアプリケーションウィンドウ整列では、ウィンドウが適当な大きさに縮小されて、画面内に全てが収まるように調整される（この時ウィンドウが縮小表示されることになるが、Mac OS X v10.5までは元のウィンドウ同士の大きさの比率を損なわないようになっている。Mac OS X v10.6以降は元のウィンドウ同士の大きさの比率は無視されタイル状に整列されて表示される）。配置は、重心の位置などから自然な配置が計算される。その後特定のウィンドウをクリックするとそれが前面に出現し、ウィンドウが元の位置に戻される。 非常に派手な機能であるにも関わらず、動作は極めて高速で、Quartz Extreme対象外のG3マシンでも快適に機能する。これはMac OS Xのウィンドウサーバの構造が、個々のウィンドウの描画内容を独立に計算した後、結果の集計を画面上に合成するという構造を取っているがゆえに、等倍表示であれ縮小表示であれ、負荷に大きな違いがないためである。 Mac OS X v10.4(Tiger)では、Dashboardが搭載されている。これはExposéを応用して設計されたものである。