C++のソースを表示

{{Infobox プログラミング言語
 | name                   = C++
 | logo                   = 
 | caption                = 
 | file ext               = .cpp
 | paradigm               = [[マルチパラダイムプログラミング言語|マルチパラダイム]]（[[手続き型言語|手続き型プログラミング]]、[[抽象データ型|データ抽象]]、[[オブジェクト指向プログラミング]]、[[ジェネリックプログラミング]]の組み合わせ）
 | released               = 1983年
 | designer               = [[ビャーネ・ストロヴストルップ]]
 | developer              = 
 | latest release version = ISO/IEC 14882:2014 
 | latest release date    = {{start date and age|2014|12|15}}
 | latest preview version = ISO/IEC 14882:2014
 | latest preview date    = <!-- {{start date and age|YYYY|MM|DD}} -->
 | typing                 = nominative, [[型システム#型の安全性|安全でない]][[型システム#強い型付けと弱い型付け|強い]][[静的型付け]]
 | implementations        = [[GNUコンパイラコレクション|GCC]]<br>[[Clang]]<br>[[Microsoft Visual C++]]<br>[[Intel C++ Compiler]]<br>[[C++ Builder]]
 | dialects               = C++98<br>C++03<br>[[C++ Technical Report 1|C++TR1]]<br>[[C++11]]<br>[[C++14]]
 | influenced by          = [[C言語]]、[[Simula]]、[[Ada]]
 | influenced             = [[Java]]、[[C Sharp|C#]]、[[D言語]]、[[PHP (プログラミング言語)|PHP]]
 | programming language   = 
 | operating system       = 
 | license                = 
 | website                = {{URL|http://isocpp.org/}}
 | wikibooks              = 
}}
'''C++'''（'''シープラスプラス'''）は、汎用[[プログラミング言語]]の一つである。日本では略して'''シープラプラ'''、'''シープラ'''などとも呼ばれる。

== 概要 ==
1983年に[[ベル研究所]]のコンピュータ科学者の[[ビャーネ・ストロヴストルップ]]が、[[C言語]]の拡張として開発した。当時の名前は「C with Classes」（クラス付きのC言語）だった。拡張は[[クラス (コンピュータ)|クラス]]の追加に始まり、[[仮想関数]]、[[多重定義]]、[[多重継承]]、[[テンプレート (プログラミング)|テンプレート]]、[[例外処理]]といった機能が続いていった。{{要出典|date=20170629|[[1990年代]]以降、C++は、最もよく利用される商用のプログラミング言語の一つとなっている。}}

標準規格化が[[国際標準化機構|ISO]]と[[国際電気標準会議|IEC]]共同で行われており、現在最新のバージョンは、[[2014年]]に制定されたISO/IEC 14882:2014、通称「'''[[C++14]]'''」である。

表現力と効率性の向上のために、[[手続き型言語|手続き型プログラミング]]・[[抽象データ型|データ抽象]]・[[オブジェクト指向プログラミング]]・[[ジェネリックプログラミング]]の複数の[[プログラミングパラダイム]]を組み合わせている<ref>『プログラミング言語C++』第4版、pp.12-13。</ref>。[[アセンブリ言語]]以外の[[低水準言語]]を必要としない、使わない機能に時間的・空間的費用を要しないことが、言語設計の重要な原則となっている<ref>『C++の設計と進化』、pp.152-153。</ref><ref>『プログラミング言語C++』第4版、p.11。</ref>。また、静的な[[型システム]]を持つ。

== 歴史 ==
ストロヴストルップはプログラミング言語'''C with Classes'''の開発を[[1979年]]に開始した。彼は大規模なソフトウェアの開発に有用な特徴を[[Simula]]が備えていることに気がついたが、Simulaは実行速度が遅く実用的ではなかった。一方で[[BCPL]]は実行速度こそ速かったものの、大規模なソフトウェア開発を念頭に置いた場合にあまりにも[[低級言語|低級]]だった。

これらの事情を鑑みて、ストロヴストルップは当時既に汎用的な言語だったC言語にSimulaの特徴を取り入れることを試みた。この取り組みにあたっては[[ALGOL|ALGOL68]] や[[Ada]]、 [[CLU]]、 [[プログラミング言語ML|ML]]等の言語の影響も受けている。最初はクラスと派生クラス、型検査機構の強化、[[インライン関数]]、デフォルト引数の機能を、[[Cfront]]を介してC言語に追加した。[[1985年]][[10月]]に最初の商用リリースがなされた<ref name="invention">{{cite web| url=http://public.research.att.com/~bs/bs_faq.html#invention|title=Bjarne Stroustrup's FAQ - When was C++ invented?|accessdate=2006-05-30|language = English}}</ref>。

[[1983年]]にはC with Classesから'''C++'''に名称を変更した。この際に、[[仮想関数]]と、関数と演算子の[[多重定義]]、[[参照 (情報工学)|参照]]型、<code>const</code>型、ユーザー制御可能な自由領域メモリ制御、型検査機構の改良、BCPL形式（「<code>//</code>」による）の行単位のコメントアウトなどの機能が追加された。[[1985年]]には『The C++ Programming Language』の初版が出版された（邦訳『プログラミング言語C++』[[1988年]])）。この時点では公式な標準が策定されていなかったために、この本が事実上のリファレンスとなった。[[1989年]]C++のヴァージョン2.0として、[[多重継承]]と[[抽象クラス]]、静的[[メンバ関数]]、<code>const</code>メンバ関数、[[アクセス制御|<code>protected</code>]]メンバ等の機能が追加されたものがリリースされた。[[1990年]]に『The Annotated C++ Reference Manual (ARM)』<ref>{{Cite book|author=Bjarne Stroustrup|author2=Margaret A. Ellis|year=1990|title=The Annotated C++ Reference Manual|publisher=Addison-Wesley Professional|isbn=978-0201514599}}</ref>（邦訳『注解C++リファレンスマニュアル』<ref>{{Cite book|和書|author=Bjarne Stroustrup; Margaret A. Ellis|others=足立高徳、[[小山裕司]]
|year=2001|title=The Annotated C++ Reference Manual|publisher=シイエム・シイ|isbn=978-4901280396}}</ref>）が出版され、将来の標準化の土台となるものを提供した。後に追加された機能には[[テンプレート (プログラミング)|テンプレート]]と[[例外処理]]、[[名前空間]]、新形式の[[型変換|キャスト]]、[[ブール型]]が含まれた。

ARMが事実上の標準として使われた時代が続いたが、標準化が進んだ。C++言語の最初の標準は[[1998年]]にISO/IEC 14882:1998として承認された。2003年の改訂版を経て、[[2011年]]にメジャーアップデートとして制定されたのがISO/IEC 14882:2011、通称「'''[[C++11]]'''」である。このバージョンは、元々、非公式に「C++0x」と呼ばれていた。[[2000年代]]中に制定され、正式に「C++09」と呼称されることを見越した仮称だったが、2000年代中には実現しなかった。2011年8月10日まで続いた最終国際投票で C++0x は全会一致で承認された。これにより C++0x と呼ばれてきた C++ の次期改正案はついに国際標準になり、[[C++11]]と呼べるようになった。最新のバージョンは、[[2014年]]に制定されたISO/IEC 14882:2014、通称「'''[[C++14]]'''」である。

C++言語の進化に伴い、標準ライブラリもまた進化していった。C++標準ライブラリに最初に追加されたのは、従来のC言語の <code>[[printf|printf()]]</code> や <code>[[scanf|scanf()]]</code> といった関数を置き換えるストリームI/Oライブラリである。また、C++98における標準ライブラリへの追加で最も重要なものは[[Standard Template Library]] (STL)である。C++11では、[[正規表現]]による検索・置換や複数[[スレッド (コンピュータ)|スレッド]]での同時実行、[[ハッシュテーブル]]・ハッシュセットの追加などさらなる拡充が続いている。

=== 標準規格 ===
{| class="wikitable"
|-
! 規格制定日 !! C++ 標準規格 !! 非公式名称
|-
! 1998年9月1日
| ISO/IEC 14882:1998<ref>[http://www.iso.org/iso/iso_catalogue/catalogue_ics/catalogue_detail_ics.htm?csnumber=25845&ICS1=35&ICS2=60 ISO/IEC 14882:1998]</ref>  
| C++98
|-
! 2003年10月16日
| ISO/IEC 14882:2003<ref>[http://www.iso.org/iso/iso_catalogue/catalogue_ics/catalogue_detail_ics.htm?ics1=35&ics2=60&ics3=&csnumber=38110 ISO/IEC 14882:2003]</ref>  
| [[C++03]]
|-
! 2007年11月15日
| ISO/IEC TR 19768:2007<ref>[http://www.iso.org/iso/iso_catalogue/catalogue_ics/catalogue_detail_ics.htm?ics1=35&ics2=60&ics3=&csnumber=43289 ISO/IEC TR 19768:2007]</ref>  
| [[C++ Technical Report 1|C++TR1]]
|-
! 2011年9月1日 
| ISO/IEC 14882:2011<ref>[http://www.iso.org/iso/iso_catalogue/catalogue_ics/catalogue_detail_ics.htm?ics1=35&ics2=60&ics3=&csnumber=50372 ISO/IEC 14882:2011]</ref> 
| [[C++11]]
|-
! 2014年12月15日
| ISO/IEC 14882:2014<ref>[http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=64029 ISO/IEC 14882:2014]</ref>
| [[C++14]]
|-
! 2017年予定
| 
| [[C++17]]
|}

長年にわたる作業の後、[[ANSI]]とISOの合同委員会はC++言語を1998年に標準化した(ISO/IEC 14882:1998)。1998年の標準の公式なリリースから数年間に渡って委員会は不具合の報告を続け、[[2003年]]に訂正版を出版した。[[2003年]][[12月]]に制定された日本工業規格JIS X 3014:2003（プログラム言語 C++）は、ISO/IEC 14882:2003 (E)の日本語への翻訳である。

2007年11月15日に『[[C++ Technical Report 1]]』 (TR1)というテクニカルレポートがリリースされた。これは標準の公式な一部ではないが、次のバージョンのC++に含まれると期待される、標準ライブラリへの数多くの拡張を与えた。TR1の内容は、多少の修正を加えてC++11に取り込まれている。

2011年9月1日、C++98以来初の大きな改訂となるISO/IEC 14882:2011が発行された。

2014年8月18日、ISO/IEC 14882:2014 (C++14) が投票で承認され<ref>[http://isocpp.org/blog/2014/08/we-have-cpp14 We have C++14! : Standard C++]</ref>、2014年12月15日、公式に出版された。

現在、C++17の仕様策定が進められている。

=== 将来 ===
C++に対しては、今もなお要望が絶えない。特に[[Boost]]はC++の方向性の決定に大きく貢献し、さらにC++標準化委員会へ改良すべき点などを意見している。現在はマルチパラダイムプログラミングをより自然に行えるようにすることに力が注がれており、たとえばBoostでは、C++の[[関数型言語|関数型プログラミング]]や[[メタプログラミング]]の可能性を模索している。

[[C++11]]と呼ばれている新しいバージョンのC++標準ではこれらの一部が取り込まれ、今後のC++でもさらなる追加が行われると見られている。

=== C++という名称 ===
この名称はRick Mascittiの功績で、最初に使用されたのは1983年の12月である。初期の研究期間では、開発中の言語は「C with Classes」と呼ばれていた。最終名は、変数の値を一つ加算する、C言語の<code>++</code>（[[インクリメント]]）演算子からの派生である。また一般的な命名規則での「+」の使用は、機能強化されたコンピュータプログラムを意味する。ストロヴストルップによれば「この名前は、C言語からの変更の革新的な本質を示している」ということである。C+は、より初期の無関係なプログラミング言語の名前である。

ストロヴストルップは著書『The C++ Programming Language』の前文で名前の起源を語り、[[ジョージ・オーウェル]]の小説『[[1984年 (小説)|1984年]]』の付録から「C++」が連想されるかもしれないと付け加えている。[[ニュースピーク|新語法]]という架空の言語の解説に宛てられた3つの章の中に、科学技術に関する専門用語とジャーゴンの解説に宛てられた「C vocabulary」という章がある。新語法で「ダブルプラス」は最上級の修飾語である。ゆえに新語法で「C++」は「最も極端な専門用語またはジャーゴン」という意味になるだろう。

1992年、Rick Mascittiは名前について非公式に質問されると、彼はおふざけのつもりで命名したという旨の回答をした。彼はこの言語の正式な名称になるとは夢にも思っていなかった。

== 哲学 ==
ビャーネ・ストロヴストルップは著書『[[:en:The Design and Evolution of C++|C++の設計と進化]](1994)』でC++を設計する際に用いたルールを述べている。

* C++はCと同等の実行効率と移植性を持つ[[型システム|静的に型付け]]された汎用言語である。
* C++は直接的かつ包括的に複数のプログラミングスタイル（[[手続き型プログラミング]]、[[抽象化 (計算機科学)|抽象化]]、[[オブジェクト指向]]、[[ジェネリックプログラミング]]）をサポートする。
* C++はもしプログラマが間違っている可能性があったとしても[[プログラマ]]に選択の余地を与える。
* C++は可能な限りC言語との互換性を持ち、C言語からスムーズに移行できる。
* C++はプラットフォームに固有な機能や汎用的でない機能の実装を避ける。
* C++は利用しない機能についてはオーバーヘッドが生じない（ゼロオーバーヘッドの原則）。
* C++は高級な実行環境を必要としない。

C++のコンパイラがどのようにコードを出力しメモリのレイアウトを決めるのかということについては『Inside the C++ Object Model』(Lippman, 1996)に記載されている。ただしコンパイラが出力するコードの仕様はコンパイラ制作者の裁量に任されている。

== 標準ライブラリ ==
{{Main|標準C++ライブラリ}}

1998年に施行された[[ANSI]]/[[国際標準化機構|ISO]] C++ [[標準化|規格]]は言語仕様と[[標準C++ライブラリ|ライブラリ]]の2つのパートで構成される。ライブラリ規格の大半は[[Standard Template Library]] (STL)とC言語の標準ライブラリの改良版についての内容である。標準規格以外にも様々なライブラリが数多く存在し、リンカを使用することにより、[[C言語]]、[[FORTRAN]]、[[Pascal]]、[[BASIC]]のような言語を用いて作成されたライブラリを利用できる。規格外のライブラリが利用できるかどうかはコンパイラに依存する。

C++標準ライブラリはC++向けに若干の最適化が施されたC言語標準ライブラリを含んでいる。C++標準ライブラリの大部分はSTLである。 [[コンテナ (データ型)|コンテナ]]（[[配列|可変長配列]]や[[連結リスト|リスト]]など）、コンテナを配列のように扱えるようにする[[イテレータ]]、検索やソートを行う[[アルゴリズム]]といった有用なツールが提供されている。さらに<code>map</code>や<code>multimap</code>のような[[連想配列]]や、<code>set</code>や<code>multiset</code>のようなソート済みコンテナも提供され、これらは全てインターフェイスに互換性がある。テンプレートを用いることにより、あらゆるコンテナ(またはイテレータで定義したシーケンス)に適用できる汎用的なアルゴリズムを記述できる。C言語と同様に[[ライブラリ]]の[[フィーチャー|機能]]には<code>#include</code> [[ディレクティブ]]を使ってヘッダファイルを読み込むことによってアクセスする。C++には[[標準C++ライブラリ#Standard headers|69本の標準ヘッダファイル]]があるが、このうち19本については非推奨となっている。

STLは標準規格に採用される前は、[[ヒューレット・パッカード]]の（一時は[[シリコングラフィックス]]の）商用ライブラリだった。STLは標準規格の単なる一部分に過ぎず規格書にSTLという表記は見られないが、入出力ストリーム、国際化、デバッグ機能、C言語標準ライブラリ等の、STL以外の部分と区別するために、今でも多くの人がSTLという用語を使っている。

大半のC++コンパイラはSTLを含むC++標準ライブラリの実装を提供している。[[STLPort]]のようなコンパイラ非依存のSTLも存在する。様々な目的でC++標準ライブラリを独自に実装しているプロジェクトは他にもある。

C++の標準ライブラリは大きく次のように分けられる。多種多様な実行環境が存在することを考慮して、[[グラフィカルユーザインターフェース|GUI]]に関するライブラリは標準に含まれていない。
* 言語サポート（型情報、例外処理など）
* 診断（アサート（[[表明]]）、エラー情報）
* 汎用ユーティリティ（タプル、[[動的メモリ確保]]、スマートポインタ、[[メタプログラミング]]など）
* [[文字列]]・[[正規表現]]
* ロケール（[[国際化と地域化]]）
* コンテナ（[[データ構造]]）・イテレータ・アルゴリズム（いわゆる[[Standard Template Library|STL]]）
* 数値演算
* [[入出力]]
* アトミック演算（[[不可分操作]]）
* [[スレッド (コンピュータ)|スレッド]]

== 外部ライブラリ ==
以下に、C++で広く使われていると思われるライブラリを挙げる。
; [[Boost]] 
: 次期C++標準とも言われる様々なライブラリの集合。[[正規表現]]を扱うBoost.Regexや無名関数（[[ラムダ計算]]）を簡潔に記述できるBoost Lambda Libraryなどがある。現標準であるC++11や次期標準であるC++14でも、Boostに存在するライブラリが標準ライブラリに採用されたり、標準ライブラリとして提案された項目がBoostで先行して実装されたりしている。これにより、実際に実装・使用することでの知見が得られ、標準ライブラリとして採用される際に活かされている。
; [[Apache Xerces]] 
: C++での主要[[Extensible Markup Language|XML]][[構文解析器|パーサ]]の一つ。Java版も存在する。
; [[xUnit|CppUnit]] 
: C++での[[ユニットテスト]]フレームワーク。 クラス毎の動作確認に威力を発揮する。

== 特徴 ==
[[C言語]]に、[[オブジェクト指向プログラミング]]をはじめとする様々なプログラミングパラダイムをサポートするための改良が加えられたものといえる。ただし、他のプログラミング言語と違い、旧来のCと同様に手続き型言語としても扱えるという特徴がある。このことから、C++を''better C''というふうに呼ぶことがある。すなわち、基本的にC言語に対して上位互換性がある。初期のC++はCへのトランスレータとして実装され、C++プログラムを一旦Cプログラムに変換してから[[コンパイラ|コンパイル]]していた。

ただし、C++という名称が定まった当初の時期から、C言語とC++との間には厳密な互換性はない<ref>{{Cite web|url=https://isocpp.org/files/papers/N0007.pdf|title=C++: as close as possible to C – but no closer|accessdate=2016-11-19|last=Koenig|first=Andrew|coauthors=Bjarne Stroustrup|date=1989-05-11|format=PDF|language=英語}}</ref><ref>{{Cite web|url=http://www.stroustrup.com/bs_faq.html#C-is-subset|title=Stroustrup: FAQ Is C a subset of C++?|accessdate=2016-11-19|last=Stroustrup|first=Bjarne|language=英語}}</ref>。当時、Cとの互換性について議論の末、「C++とANSI Cの間には不正当な非互換性はない」という合意が形成されることとなった。そのため、正当な非互換性を巡って多くの議論が発生した<ref>『C++の設計と進化』、pp.124-125。</ref>。ただし、まだANSIによるC言語の標準規格も策定途中の時期である。

その後、先祖であるC言語のANSIによる標準規格制定時には、関数のプロトタイプ宣言や<code>const</code>修飾など、C++の機能がC言語に取り入れられることにもなった。[[C99]]の出現により、<code>//</code>コメントなどのC++で使われていた便利な機能が加わってCとC++の互換性が高まる一方、別々に審議し、別の時期に発行していることと、開発対象が必ずしも同じでないために利害関係者が異なることによる違いもある{{要出典|date=2016年5月}}。

次のような多種多様な機能を持っており、言語仕様は大変複雑である。<!--言語仕様を完全に満たしている[[コンパイラ]]は、CコンパイラでもC90時代のWatcom程度で、もともと数えるほどしかない。--><!-- C++の言語仕様の話なのに、Cコンパイラの話が唐突に出てくるのはおかしい。 -->

* [[多重継承]]
* [[テンプレート (プログラミング)|テンプレート]]
* [[演算子]]の[[多重定義|オーバーロード]]
* [[例外処理]]
* [[実行時型情報]] (RTTI)

ここから、よりオブジェクト指向を強化し、「なんでもあり」ではない代わりに分かりやすくスマートな設計を目指した新たな言語（[[Java]]、[[D言語]]など）が作られることとなった。

=== Hello, World! ===
C++はC言語およびそのプリプロセッサの構文をほぼ継承している。以下のサンプルは[[ビャーネ・ストロヴストルップ]]の書籍「The C++ Programming Language, 4th Edition」(ISBN 978-0321563842) の「2.2.1 Hello, World!」に記載されている[[標準C++ライブラリ]]のストリーム機能を用いて[[標準ストリーム#Standard output .28stdout.29|標準出力]]に出力する[[Hello world]]プログラムである<ref>{{cite book|author = Bjarne Stroustrup|date = 2000年|pages=46|title = The C++ Programming Language | edition=Special Edition | publisher = Addison-Wesley | isbn = 0-201-70073-5 }}</ref><ref>[http://www.research.att.com/~bs/3rd_issues.html Open issues for The C++ Programming Language (3rd Edition)] - このコードはストロヴストルップ自身による訂正文からの引用(633ページ)。<code>std::endl</code>を<code>'\n'</code>に改めている。また<code>main</code>関数がデフォルトで0を返す件については[http://www.research.att.com/~bs/bs_faq2.html#void-main www.research.att.com]及び[http://www.delorie.com/djgpp/v2faq/faq22_25.html www.delorie.com/djgpp/] を参照されたし。このデフォルト仕様は<code>main</code>関数のみであり他の関数にはない。</ref>。

<!--
***************************************************************
*
*                   注意:
*
*  この"Hello World"のサンプルを修正する前にノートページでコンセンサス
*  を得てください。ここは個人の主張を発表する場ではありません。
*  この件については(英語版Wikipediaで)何度も議論されています。
*
*  コンセンサスを得ずにこのサンプルを修正した場合は数分以内にリバートされます。
*
*  "using namespace std;"と"using std::cout;"を使うべきだと思うかもしれません。
*  "\n"ではなく"std::endl"を使うべきだと思うかもしれません。
*  "return 0;"を最後に付けるべきだと思うかもしれません。
*  "int argc, char ** argv"をmain関数に付けるべきだと思うかもしれません。
*  古いコンパイラは"#include <iostream.h>"と記述しなければならないと思うかもしれません。
*  C言語の"printf"も利用できると思うかもしれません。
*
*  でも修正しないでください。
*
*  最終的に現状のまま修正しないということで結論が出ています。
*  このサンプルはC++の原作者であるストロヴストルップが記述した
*  "Hello, World!"であり、彼の著書"The C++ Programming Language, 4th Edition"
*  に記載されているものです。
*
***************************************************************
--><source lang="cpp">
#include <iostream>

int main()
{
     std::cout << "Hello, World!\n";
}
</source>
書籍でも明記されているが、<code>main()</code>関数で意図的に返り値を返さない手法が使用されている。

===演算子と演算子のオーバーロード===
{{Main|CとC++の演算子}}
C++には四則演算、ビット演算、参照、比較、論理演算などの30を超える演算子がある。メンバーアクセス演算子（<code>.</code>と<code>.*</code>）のような一部の例外はあるが、大半の演算子はユーザー定義によるオーバーロードが可能である。オーバーロード可能な演算子が豊富に揃えられているためC++を一種の[[ドメイン固有言語]]として利用できる。またオーバーロード可能な演算子はスマートポインタのような先進的な実装テクニックに欠かせないものとなっている。演算子をオーバーロードしても[[演算の優先順位]]は変化せず、また演算子のオペランドの数も変化しない。ただし指定したオペランドが無視される可能性はある。

===テンプレート===
{{Main|テンプレート (プログラミング)}}

C++には、[[ジェネリックプログラミング]]を実現する機能として'''テンプレート'''が存在する。テンプレートにできる対象は、関数とクラスである。テンプレートは型、コンパイル時定数またはその他のテンプレートによってパラメタライズできる。テンプレートはコンパイル時に'''インスタンス化'''（実体化・具現化などとも）される。コンパイラは関数やクラスをインスタンス化するためにテンプレート仮引数を特定の値に置き換える。テンプレートは[[ジェネリックプログラミング]]、[[テンプレートメタプログラミング]]、コード最適化などのために利用される強力なツールであるが、一定のコストを伴う。各テンプレートのインスタンスはテンプレート仮引数毎にテンプレートコードのコピーを生成するためコードサイズが肥大化する。コンパイル時に型の情報を削除して単一のテンプレートインスタンスを生成するランタイム型のジェネリクスを実装したJavaなどの言語とは対照的である。

テンプレートとマクロはいずれもコンパイル時に処理される言語機能であり条件に基づいたコンパイルが行われるが、テンプレートは字句の置き換えに限定されない。テンプレートはC++の構文と型を解析し、厳密な型チェックに基づいた高度なプログラムの流れの制御ができる。マクロは条件コンパイルに利用できるが、新しい型の生成、再帰的定義、型の評価などは行えないため、コンパイル前のテキストの置き換えや追加・削除といった用途に限定される。つまりマクロは事前に定義されたシンボルに基づいてコンパイルの流れを制御できるものの、テンプレートとは異なり独立して新しいシンボルを生成することはできない。テンプレートは静的な[[ポリモーフィズム|多態]]（下記参照）と[[ジェネリックプログラミング]]のためのツールである。

C++のテンプレートはコンパイル時における[[チューリング完全]]なメカニズムである。これは[[テンプレートメタプログラム]]を用いて実行する前にコンピュータが計算可能なあらゆる処理を表現できることを意味している。

概略すれば、テンプレートはインスタンス化に必要な引数を明確にしなくても記述できるコンパイル時にパラメタライズされる関数またはクラスである。インスタンス化した結果は、テンプレート仮引数に指定した型に特化した形で記述されたコードと全く等価になる。これによりテンプレートは、汎用的かつおおまかに記述された関数及びクラス（テンプレート）と特定の型に特化した実装（インスタンス化されたテンプレート）の依存関係を解消し、パフォーマンスを犠牲にすることなく抽象化できる手段を提供する。

===オブジェクト===
C++は[[C言語]]に[[オブジェクト指向プログラミング]]をサポートするための改良を加えたものといえる。C++のクラスには、オブジェクト指向言語で一般的な[[抽象化 (計算機科学)|抽象化]]、[[カプセル化]]、[[継承 (プログラミング)|継承]]、[[ポリモーフィズム|多態]]の4つの機能がある。オブジェクトは実行時に生成されるクラスの実体である。クラスは実行時に生成される様々なオブジェクトのひな形と考えることができる。

なお、C++は[[Smalltalk]]などに見られる[[メッセージ転送]]の概念によるオブジェクト指向を採用していない。

====カプセル化====
[[カプセル化]]とは、データ構造を保証し、演算子が意図したとおりに動作し、クラスの利用者が直感的に使い方を理解できるようにするためにデータを隠蔽することである。クラスや関数はC++の基礎的なカプセル化のメカニズムである。クラスのメンバは<code>public</code>、<code>protected</code>、<code>private</code>のいずれかとして宣言され明示的にカプセル化できる。<tt>public</tt>なメンバはどの関数からでもアクセスできる。<tt>private</tt>なメンバはクラスのメンバ関数から、またはクラスが明示的にアクセス権を与えたフレンド関数からアクセスできる。<tt>protected</tt>なメンバはクラスのメンバおよびフレンド関数に加えてその派生クラスのメンバからもアクセスできる。

オブジェクト指向では原則としてクラスのメンバ変数にアクセスする全ての関数はクラスの中にカプセル化されなければならない。C++ではメンバ関数およびフレンド関数によりこれをサポートするが、強制はされない。プログラマはメンバ変数の一部または全体を<tt>public</tt>として定義でき、型とは無関係な変数を<tt>public</tt>な要素として定義できる。このことからC++はオブジェクト指向だけでなく、[[モジュール|モジュール化]]のような機能分割のパラダイムもサポートしているといえる。

一般的には、全ての[[データ]]を<tt>private</tt>または<tt>protected</tt>にして、クラスのユーザに必要最小限の関数のみを<tt>public</tt>として公開することがよい習慣であると考えられている。このようにしてデータの実装の詳細を隠蔽することにより、設計者はインターフェイスを変更することなく後日実装を根本から変更できる
<ref>{{ cite book
| first1 = Herb
| last1 = Sutter
| first2 = Andrei
| last2 = Alexandrescu
| authorlink1 = Herb Sutter
| authorlink2 = Andrei Alexandrescu
| date = 2004
| title = C++ Coding Standards: 101 Rules, Guidelines, and Best Practices
| publisher = Addison-Wesley
}}
</ref>
<ref>{{cite book
|last1=Henricson
|first1=Mats
|last2=Nyquist
|first2=Erik
|title=Industrial Strength C++
|publisher=Prentice Hall
|date=1997
|isbn=ISBN 0-13-120965-5}}
</ref>。

====継承====
[[継承 (プログラミング)|継承]]を使うと他のクラスの資産を流用できる。基底クラスからの継承は<code>public</code>、<code>protected</code>、<code>private</code>のいずれかとして宣言する。このアクセス指定子により、派生クラスや全く無関係なクラスが基底クラスの<tt>public</tt>および<tt>protected</tt>メンバにアクセスできるかどうかを決定できる。普通は<tt>public</tt>継承のみがいわゆる''派生''に対応する。残りの二つの継承方法はあまり利用されない。アクセス指定子を省略した場合、[[構造体]]は<tt>public</tt>継承になるのに対し、クラスでは<tt>private</tt>継承になる。基底クラスを<code>virtual</code>として宣言することもできる。これは[[仮想継承]]と呼ばれる。仮想継承は基底クラスのオブジェクトが一つだけ存在することを保証するものであり、多重継承の曖昧さの問題を避けることができる。

'''多重継承'''はC++の中でもしばしば問題になる機能である。多重継承では複数の基底クラスから一つのクラスを派生できる。これにより継承関係が複雑になる。例えば"<tt>FlyingCat</tt>"クラスは"<tt>Cat</tt>"クラスと"<tt>FlyingMammal</tt>"クラスから派生できる。[[Java]]や[[C Sharp|C#]]では、基底クラスの数を一つに制限する一方で、複数の[[インタフェース (情報技術)|インタフェース]]を継承でき、これにより制約はあるものの多重継承に近い機能を実現できる。インタフェースはクラスと異なりメンバ関数を宣言できるのみであり、関数の実装やメンバ変数は定義できない。JavaとC#のインタフェースや抽象クラスはC++の抽象基底クラスと呼ばれる関数宣言のみを持つクラスに相当する。JavaやC#の継承モデルを好むプログラマは、非抽象クラスからのみクラスを派生させる方法を選択できる。この場合は抽象基底クラスのメンバ関数を必ず明示的に定義しなければならず、またこのクラスを継承することはできない。

===多態===
{{main|ポリモーフィズム}}

[[ポリモーフィズム|多態(ポリモーフィズム)]]はよく多用されているインターフェイスの機能であり、様々な状況下でオブジェクトに異なる振る舞いをさせることができる。

C++は''静的な多態''と''動的な多態''の両方をサポートする。コンパイル時に解決される静的な多態は実行時には考慮されないのに対し、ランタイム時に解決される動的な多態はパフォーマンス的に不利である。

====静的な多態====
関数のオーバーロードは名称が同じ複数の関数を宣言できる機能である。ただし引数は異なっていなければならない。関数は[[引数]]の型や数で区別される。同名の関数はコードの文脈によってどの関数が呼ばれるのかが決まる。関数の戻り値の型で区別することはできない。

関数を宣言する際にプログラマはデフォルト引数を指定できる。関数を呼び出すときに引数を省略した場合はデフォルト引数が適用される。関数を呼び出すときに宣言よりも引数の数が少ない場合は、左から右の順で引数の型が比較され、後半部分にデフォルト引数が適用される。たいていの場合は一つの関数にデフォルト引数を指定するよりも引数の数が異なる関数をオーバーロードする方が望ましい。

C++のテンプレートではより洗練された汎用的な多態を実現できる。特に[[:en:Curiously Recurring Template Pattern|Curiously Recurring Template Pattern]]により仮想関数のオーバーライドをシミュレートした静的な多態を実装できる。C++のテンプレートは型安全かつ [[チューリング完全]]であるため、 [[テンプレートメタプログラミング]]によりコンパイラに条件文を再帰的に解決させて実行コードを生成させることにも利用できる。

====動的な多態====
=====派生=====
基底クラスへのポインタ変数及び参照は、正確に型が一致するオブジェクトだけでなく、その派生クラスのオブジェクトを示すことができる。これにより配列やコンテナは複数の型へのポインタを保持できる。ポインタ変数は実行時に値が割り当てられるためこれは実行時の話である。

<code>dynamic_cast</code>は基底オブジェクトから派生オブジェクトへの変換を安全に行うための演算子である（派生オブジェクトから基底オブジェクトへの変換ではキャストは必要ない）。この機能は[[実行時型情報]] (RTTI)に依存している。オブジェクトが特定の派生オブジェクトであることがあらかじめわかっている場合は<code>static_cast</code>でキャストすることもできる。<code>static_cast</code>は純粋にコンパイル時に解決されるため動作が速くRTTIを必要としない。

=====仮想関数=====
基底クラスの関数を派生クラスで[[オーバーライド]]した場合、実際に呼び出される関数はオブジェクトの型によって決定される。派生クラスによってオーバーライドでされるのは引数の数や型が同じ関数である。基底クラスのポインタのみが与えられた場合、コンパイラはオブジェクトの型をコンパイル時に特定できず正しい関数を呼び出せないため、実行時にこれを特定する。これをダイナミックディスパッチと呼ぶ。仮想関数や''メソッド''<ref>{{cite book | quote = A virtual member function is sometimes called a ''method''. (仮想関数のことを''メソッド''と呼ぶ場合がある)| first = Bjarne | last = Stroustrup | authorlink = Bjarne Stroustrup | date = 2000 | page = 310 | title = The C++ Programming Language | edition = Special Edition | publisher = Addison-Wesley | isbn = 0-201-70073-5 }} </ref>により、オブジェクトに割り当てられた実際の型に従って、最上位の派生クラスで実装した関数が呼び出される。一般的なC++コンパイラは[[仮想関数テーブル]]を用いる。オブジェクトの型が判明している場合はスコープ解決演算子を利用して仮想関数テーブルを使わないようにバイパスすることもできるが、一般的には実行時に仮想関数の呼び出しを解決するのが普通である。

標準のメンバ関数に加え、オーバーロードした演算子やデストラクタも仮想関数にできる。原則的にはクラスが仮想関数を持つ場合はデストラクタも仮想関数にすべきである。コンストラクタやその延長線上にあるコピーコンストラクタはコンパイルされた時点でオブジェクトの型が確定しないため仮想関数にできない。しかし、派生オブジェクトへのポインタが基底オブジェクトへのポインタとして渡された場合に、そのオブジェクトのコピーを作らなければならない場合は問題が生じる。このような場合は<code>clone()</code>関数(またはそれに準じる物)を仮想関数として作成するのが一般的な解決方法である。<code>clone()</code>は派生クラスのコピーを生成して返す。

<code>= 0</code>を関数宣言の閉じ括弧とセミコロンの間に挿入することによりメンバ関数を''純粋仮想関数''にできる。純粋仮想関数を持つクラスは純粋仮想クラスと呼ばれ、このクラスからオブジェクトを生成することはできない。このような純粋仮想クラスは基底クラスとしてのみ利用できる。派生クラスは純粋仮称関数を継承するため、派生クラスのオブジェクトを生成したい場合は全ての純粋仮想関数をオーバーライドして実装しなければならない。純粋仮想関数を持つクラスのオブジェクトを生成しようと試みるようなプログラムは行儀が悪い。

=====テンプレート=====
型消去と呼ばれるテンプレートを活用して動的な多態性を実現する手法が存在する。この手法はC++の標準ライブラリでも<code>std::function</code>や<code>std::shared_ptr</code>の削除子で採用されている。いずれも、コンストラクタや代入演算子で（一定の条件を満たす）任意のオブジェクトを実引数として渡せるようにすることから多態性を実現している。

=== 単一行コメント ===
かつてC言語とC++との分かりやすい差異として、<code>//</code> で始まり改行で終わる、'''単一行[[コメント (コンピュータ)|コメント]]'''の有無があった。

単一行コメントはもともと、C言語の祖先にあたる[[BCPL]]に含まれていた仕様である。現在のC++のコンパイラの多くがC言語のコンパイラとしても使えるようになっているのと同様に、C言語が生まれて間もない頃は、C言語に加え[[B言語]]やBCPLのコンパイルができるコンパイラが用いられていた。それらコンパイラは、C言語のソースであってもBCPLと同様に単一行コメントが使用できるよう独自の拡張がなされていたため、BCPLの単一行コメントに慣れ親しんでいたプログラマ達は、C言語でも単一行コメントを使い続けた。その慣習がC++の誕生時まで生き残っていたため、C++では単一行コメントを「復活」させることになった。

そのためもあって、C言語での仕様外の単一行コメントの使用は半ば常習と化し、現在ではC99によって、C言語でも正式に単一行コメントがサポートされるようになった（<code>//</code>に対応していない古い仕様のCコンパイラでもcppを対応したものに変更することにより使用可能）。

==C++ソースコードの処理とパーサ==
[[LALR法|LALR(1)]]のような旧式のパースアルゴリズムを用いてC++の[[構文解析|パーサ]]を記述することは比較的難しい<ref>{{cite web|author=Andrew Birkett |url=http://www.nobugs.org/developer/parsingcpp/ |title=Parsing C++ at nobugs.org |publisher=Nobugs.org |date= |accessdate=2009-07-03}}</ref>。その理由の一つはC++の文法がLALRではないことである。このため、コード分析ツールや、高度な修正を行うツール（[[リファクタリング (プログラミング)|リファクタリング]]ツールなど）は非常に少ない。この問題を取り扱う方法としてLALR(1)でパースできるように改良されたC++の亜種([[:en:Significantly Prettier and Easier C++ Syntax|SPECS]])を利用する方法がある。[[GLR法|GLRパーサ]]のようにより強力でシンプルなパーサもあるが処理が遅い。

パースはC++を処理するツールを作成する際の最も難しい問題ではない。このようなツールはコンパイラと同じように識別子の意味を理解しなければならない。従ってC++を処理する実用的なシステムはソースコードをパースするだけでなく、各識別子の定義を正確に適用し（つまりC++の複雑なスコープのルールを正確に取り扱い）、型を正しく特定できなければならない。

いずれにせよC++ソースコード処理ツールが実用的であるためには、[[GNUコンパイラコレクション|GNU GCC]]や[[Microsoft Visual C++|Visual C++]]で使われているような、様々なC++の方言を取り扱えなければならず、適切な分析処理やソース変換やソース出力などが実装できなければならない。GLRのような先進的なパースアルゴリズムとシンボルテーブルを組み合わせてソースコードを変換する方法を利用すればあらゆるC++ツールを開発できる。

== 互換性 ==
その言語文法の複雑さゆえ、C++規格に準拠したコンパイラを開発するのは一般的に難しい。20世紀末から何年にも渡りC++に部分的に準拠した様々なコンパイラが作られ、[[テンプレートの部分特殊化]]などの部分で実装にばらつきがあった。
中でも、テンプレートの宣言と実装を分離できるようにするための<code>export</code>は問題のキーワードの一つだった。<tt>export</tt>を定義したC++98規格がリリースされてから5年後の2003年前半に[[:en:Comeau C/C++|Comeau C/C++]]が初めて<tt>export</tt>を実装した。2004年に[[C++ Builder|Borland C++ Builder X]]が<tt>export</tt>を実装した。これらのコンパイラはいずれも[[Edison Design Group|EDG]]の[[フロントエンド]]をベースにしていた。大半のコンパイラで実装されていない<tt>export</tt>は多くのC++関連書籍（例えば"''Beginning ANSI C++''", Ivor Horton著）にサンプルが記されているが、<tt>export</tt>が記載されていることによる問題は特に指摘されていない。[[GNUコンパイラコレクション|GCC]]をはじめとするその他のコンパイラでは全くサポートしていない。[[:en:Herb Sutter|Herb Sutter]]はC++の標準規格から<tt>export</tt>を削除することを推奨していたが<ref> {{PDFlink|[http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1426.pdf Why We Can’t Afford Export]|266&nbsp;KB}}</ref>、C++98では最終的にこれを残す決定がなされた<ref>{{cite web|url=http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2003/n1459.html|title=Minutes of J16 Meeting No. 36/WG21 Meeting No. 31, April 7-11, 2003|date=2003-04-25|accessdate=2006-09-04}}</ref>。結局、C++11では実装の少なさ・困難さを理由に削除された。

コンパイラ開発者の裁量で決められる範囲を確保するため、C++標準化委員会は[[名前修飾]]や[[例外処理]]などの実装に依存する機能の実装方法を決定しないことに決めた。この決定の問題は、[[コンパイラ]]が異なると[[オブジェクトファイル]]の互換性が保証されない点である。特定の機種や[[オペレーティングシステム|OS]]でコンパイラの互換性を持たせ、バイナリレベルでのコード再利用性を高めようとする[[Application Binary Interface|ABI]]<ref>{{cite web|url=http://www.codesourcery.com/cxx-abi/|title=C++ ABI|accessdate=2006-05-30}}</ref>のような非標準の規格もあり、一部のコンパイラではこうした準規格を採用している。

2015年現在のメジャーなC++コンパイラ（[[GNUコンパイラコレクション|gcc]], [[Clang]], [[Intel C++ Compiler]], [[Microsoft Visual C++]]など）の最新版はC++11規格にほぼ準拠しており、特に[[Clang]]は2013年4月時点で全機能を実装完了した <ref>{{Cite web|url=http://news.mynavi.jp/news/2013/04/22/057/|title=LLVM Clang、C++11にフル対応|accessdate=2013-09-07|author=後藤大地|date=2013-04-22|publisher=マイナビニュース}}</ref> <ref>{{Cite web|url=http://d.hatena.ne.jp/faith_and_brave/20130607/1370587078|title=GCC 4.8.1 - C++11全実装バージョン|accessdate=2013-09-07|date=2013-06-07|publisher=Faith and Brave - C++で遊ぼう}}</ref>。ただしマイナーアップデートとなるC++14を含めると、処理系間でのばらつきは依然として存在する。

=== C言語との互換性 ===
C++は基本的に[[C言語]]の上位互換であるが、厳密には異なる<ref>{{cite web|url=http://public.research.att.com/~bs/bs_faq.html#C-is-subset|title=Bjarne Stroustrup's FAQ - Is C a subset of C++?|accessdate=2008-01-18}}</ref>。C言語で記述された大半のプログラムはC++でコンパイルできるように簡単に修正できるが、C言語では正当でもC++では不正になる部分や、C++とは動作が異なる部分が若干存在する。

例えば、C言語では汎用ポインタ <code>void*</code> は他の型へのポインタに暗黙的に変換できるが、C++ではキャスト演算子によって変換を明示する必要がある。またC++では <code>new</code> や <code>class</code> といった数多くの新しいキーワードが追加されたが、移植の際に元のC言語のプログラムでそれらが識別子（例えば変数名）として使われていると、問題になる。

C言語の標準規格である [[C99]] やその後継 [[C11]] ではこうした非互換性の一部が解決されており、<code>//</code>形式のコメントや宣言とコードの混在といったC++の機能がC言語でサポートされている。その一方でC99では、可変長配列、複素数型の組み込み変数、指示初期化子、複合リテラルといった、C++でサポートしていない数多くの新機能が追加された<ref>{{cite web|url=http://home.datacomm.ch/t_wolf/tw/c/c9x_changes.html|title=C9X -- The New C Standard|accessdate=2008-12-27}}</ref>。C99で追加された新機能の一部は[[C++11]]に反映され、次期C++1yに対してもC99やC11との互換性を向上される提案が行われている。また、可変長配列や複素数型などの C99 に追加された機能の一部は C11 でオプションとなった<ref>[http://www.buildinsider.net/small/clang/01 C言語の最新事情を知る： C99の仕様 - Build Insider]</ref>。

C++で書かれた関数をC言語で書かれたプログラムから呼び出す、あるいはその逆を行なう場合など、C言語のコードとC++のコードを混在させるためにはCリンケージを利用する必要があり、関数を<code>extern "C"</code>で個別に修飾するか、<code>extern "C" { ... }</code>のブロックの中で宣言しなければならない。また、関数引数や戻り値などのインターフェイスはC言語互換形式に合わせる必要がある。Cリンケージを利用した関数については、C++名前修飾がされず、名前修飾に依存している関数オーバーロード機能は利用できない。

C/C++の相互運用性が確保されていることで、慣れ親しんだC言語標準ライブラリ関数の大半をC++でもそのまま利用し続けることができるということはC++の大きなメリットのひとつである。

== 主なC++処理系 ==
* [[Microsoft Visual C++|Visual C++]]
* [[ボーランド|Borland C++]]、[[C++ Builder]]
* [[GNUコンパイラコレクション|g++]]
* [[Intel C++ Compiler]]
* [[Clang]]

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
{{Refbegin|1}}
* {{Cite book |和書 |last=Stroustrup |first=Bjarne |authorlink=ビャーネ・ストロヴストルップ |year=1998 |origyear=1997|translator=ロングテール、長尾高弘 |title=プログラミング言語C++ |edition=第3版 |series=アスキーアジソンウェスレイシリーズ |publisher=アジソン・ウェスレイ・パブリッシャーズ・ジャパン , アスキー (発売) |ncid=BA39336320 |isbn=475611895X |ref=harv}}
* {{Cite book |和書 |last=Stroustrup |first=Bjarne |authorlink=ビャーネ・ストロヴストルップ |year=2015 |origyear=2013 |translator=柴田望洋 |title=プログラミング言語C++ |edition=第4版 |publisher=SB Creative |isbn=978-4-7973-7595-4 |ref=harv}}
* {{Cite book |和書 |last=Stroustrup |first=Bjarne |authorlink=ビャーネ・ストロヴストルップ |year=2005 |origyear=1994 |title=C++の設計と進化  |editor=[[エピステーメー|επιστημη]]監修 |translator=[[岩谷宏]] |publisher=ソフトバンククリエイティブ |ncid=BA70383225 |isbn=4797328541 |ref=harv}}
{{Refend}}

== 関連項目 ==
{{Wikibooks|CPlusPlus|C++}}
{{プログラミング言語|lang=オブジェクト指向言語|cat=}}
* [[C++11]] (C++0x)
* [[C++14]]
* [[C++/CLI]]
* [[Embedded C++]]
* [[JavaとC++の比較]]
* [[SystemC]] - C++言語ベースのハードウェア記述言語
* [[オブジェクト指向言語の比較]]
* [[テンプレートメタプログラミング]]
* [[プログラミング言語の比較]]
* [[キーワード (C++)]]

== 外部リンク ==
* [http://isocpp.org/ Standard C++ Foundation]

{{C++}}
{{プログラミング言語一覧}}
{{DEFAULTSORT:Cふらすふらす}}
[[Category:オブジェクト指向言語]]
[[Category:C++|*]]
[[Category:JIS|X3014]]