Wikipedia

New演算子

newまたはNewは、C++を始めとしたオブジェクト指向プログラミング言語において、インスタンスを作成する演算子である。多くの場合、ヒープ領域からの動的メモリ確保（動的記憶域確保）を伴う。

new演算子によるインスタンスの作成は、大きく分けて、記憶域を確保することと初期化を行うことに分けられる。記憶域を確保する処理は、多くの場合言語の処理系が用意するが、後述するC++のようにプログラム内で独自に定義できるものもある。初期化は、コンストラクタを呼ぶことで行われ、プログラム内で自由に定義できることが一般的である。

概要

編集

C++やC++の影響を受けた言語では、概ね次のような構文となっている。 

variable = new T();

variableは、作成されたインスタンスへの参照を保持するポインタ型もしくは参照型の変数である。Tは、作成されるインスタンスのデータ型を指定する。Tがクラス型の場合、Tのインスタンスを生成するためにデフォルトコンストラクタが呼ばれる。クラス以外の型（整数型などの基本型や構造体など）を指定可能かどうかは言語による。

次のように、newでインスタンスを生成する際には、初期化子 (initializer) を指定できる。 

variable = new T(init);

initは初期化に用いる値を表す。Tがクラス型の場合、これを引数にしてコンストラクタが呼ばれる。

C++ではnew Tというように初期化子()を省略することもできるが、この場合デフォルト初期化[1]となり、例えば基本型のようにデフォルトコンストラクタがユーザー定義されていない型の場合、その値は不定値となる。new T()は値初期化[2]となり、デフォルトコンストラクタがユーザー定義されていない型の場合、ゼロまたはゼロ相当の値で初期化される。

また、配列を作成することも可能である。なお、C++では、これをnew[]演算子として、new演算子と区別している。一方、JavaやC#では、new演算子の構文の一種として扱っている。 

variable = new T[size];

sizeは、作成する要素数を指定する。なお、C++やC#では、次のようにnewした配列に初期化子を与えられる。 

variable = new T[size] {init1, init2, init3};
  • C++では、初期化子リストの要素数よりもsizeが大きい場合、残りの要素はゼロもしくはデフォルトコンストラクタで初期化される。
  • C#では、初期化子リストの要素数とsizeは同じでなければならないが、初期化子を指定すればsizeは省略可能である。
  • Javaでは、初期化子を指定する場合はsizeを指定できない。
variable = new T[] {init1, init2, init3};

また、JavaやC#の配列は、常にnew演算子でヒープに作られる存在であり、(2)のような配列変数の初期化は、(1)に対する糖衣構文となっている。 

T[] var1 = new T[size] {init1, init2, init3}; // (1) new演算子を使用
T[] var2 = {init1, init2, init3}; // (2) 配列初期化の構文を使用、(1)と同じ意味

エラー処理

編集

C++の場合、new演算子で記憶域確保に失敗すると、std::bad_alloc例外が投げられることが標準規格で規定されている（std::nothrow_tを受け取るオーバーロードを除く[3]）。そのため、C言語関数のmallocなどと違い、newの結果は常に正当なオブジェクトを指し示しているものとして扱うことが可能である。ただし、Microsoft Visual C++ 6.0以前のように標準規格（ISO/IEC 14882:1998、通称C++98）に準拠していない古いコンパイラでは、確保失敗時にNULLを返すものがあるので注意が必要である[4]。また、組み込み用途など、コンパイラの設定で例外の使用を不可能にした場合も、確保に失敗したときはNULLが返却される。

C#およびJavaの場合、new演算子がnullを返すことはなく、必ず例外がスローされる。

言語ごとの詳細

編集

C++

編集

C++のnew演算子とnew[]演算子は、まず、同名の演算子関数（後述）で記憶域を確保し、次にコンストラクタを呼んでインスタンスの初期化を行う。C++のnew演算子という名称は、Simulaの同名の演算子に由来する。

deleteとdelete[]演算子

編集
→詳細は「delete演算子」を参照

C++では、newあるいはnew[]で記憶域を動的に確保して生成したインスタンスは、不要になったときにそれぞれdeleteあるいはdelete[]演算子で破棄されなければならない。これはC言語においてmalloc関数で確保した領域をfree関数で解放することに相当するが、deleteあるいはdelete[]演算子の場合はメモリ解放の前にデストラクタが呼ばれる点が異なる。ヒープ領域に動的に確保されたメモリは自動的に破棄されることはなく、破棄し忘れたままプログラムを続行するとメモリリークとなる。多くの場合、明示的な破棄を毎回記述することはプログラマの負担となるため、破棄をデストラクタに任せるRAIIパターンが利用される。デストラクタを利用することで例外が発生しても確実に破棄することが可能となる（例外安全）。

なお、NULLおよびC++11以降のnullptrに対してdeleteあるいはdelete[]演算子を適用しても何も起きないことが標準規格で保証されているが、newによって確保されたオブジェクトではないポインタにdelete演算子を適用したときや、new[]によって確保されたオブジェクトではないポインタにdelete[]演算子を適用したときは未定義動作を引き起こす[5]。

従来のC++標準ライブラリにはスマートポインタのクラステンプレートとしてstd::auto_ptrが定義されていたが、C++11では非推奨（廃止予定）[注釈 1]となり、代わってstd::unique_ptrやstd::shared_ptrなどが定義された。 

#include <memory>

class Bar { /* ... */ };

void f()
{
    auto b = std::make_unique<Bar>();
    // std::make_unique<T>() は、new と std::unique_ptr<T> に関する補助的な関数テンプレートである。
    // new T() による値初期化を行い、結果のポインタを std::unique_ptr<T> に格納して返す。
    // すなわち、上記は std::unique_ptr<Bar> b(new Bar()); に相当するが、
    // std::make_unique<T>() は例外安全に配慮されているという違いがある。
    // https://cpprefjp.github.io/reference/memory/make_unique.html
    // https://learn.microsoft.com/en-us/cpp/standard-library/memory-functions#make_unique

    //...

} // 有効範囲（スコープ）から外れるこの位置で b のデストラクタが実行される。
// unique_ptr<Bar> のデストラクタが、内包する Bar オブジェクトの delete を行う。

動的配列のRAIIとしては、std::vectorクラステンプレートがよく利用される。

new演算子関数

編集

new演算子とnew[]演算子での記憶域の確保を制御するために、これらの演算子は多重定義が可能である。そうして定義されたnewおよびnew[]演算子関数は、newおよびnew[]演算子での記憶域確保に使用される。そして、deleteおよびdelete[]演算子の記憶域の解放には、deleteおよびdelete[]演算子関数が使用される。

クラス内に設置した場合、そのクラスと派生クラスをnew演算子で作成する際の記憶域の確保に使用される。なおクラス内に置いた場合、staticを指定しなくても、自動的に静的メンバ関数として扱われる (X3014 12.5)。 

class hoge
{
public:
    static void* operator new(std::size_t);
    static void* operator new[](std::size_t);
    static void operator delete(void*);
    static void operator delete[](void*);
};

new hogeという式は次のように実行される。

  1. まず、new演算子関数の名前探索を行う（この例では、hoge::operator newが見つかる）。
  2. sizeof (hoge) の値を引数にしてnew演算子関数を呼び、記憶域確保を行う。
  3. new演算子関数が返したポインタの指す位置をthisポインタとして、コンストラクタを呼び、インスタンスを生成する。

new[]演算子関数がnew演算子関数と分かれている理由は、『C++の設計と進化』によれば、型Tの配列はTのオブジェクトではないという方針により、Tの配列を確保するためにTのnew演算子関数を使うわけには行かないと考えられたためである。そこで別途new[]演算子関数を設けることにしたのである (§10.3)。

なお、new T[n]としたとき、new[]演算子関数にはsizeof (T) * nよりも大きい値が引数に渡される可能性がある。これは、主にdelete[]で解放するときにデストラクタを呼ぶ回数（配列の要素数）を記録するためなどといった理由によるものである。

また、newとnew[]演算子関数は、クラスの外、名前空間内にも定義でき、newおよびnew[]演算子関数が定義されていないクラスとその他の型では、名前探索を行って記憶域の確保に用いるnewまたはnew[]演算子関数を決定する。このため、大域名前空間にはデフォルトのnewとnew[]演算子関数が定義されており、標準C++ライブラリの中で唯一の大域名前空間で定義された関数となっており、ヘッダ<new>に宣言が置かれている。一方で、この大域名前空間のnew、new[]演算子関数はプログラム内で定義を与えることも可能で、そうした場合、処理系の用意した定義に代わってプログラム内の定義が用いられる (X3014 17.4.3.4)。

::new Tのように、new、new[]に::を前置すると、大域名前空間のnew、new[]演算子関数で記憶域の確保することを強制できる (X3014 5.3.4 9)。この場合、解放には::delete、::delete[]を使用する必要がある。

ちなみに、初期のC++では記憶域の確保と初期化が分離しておらず、クラス型に対するnewで独自の記憶域の確保方法を用いるには、コンストラクタ内で、thisへ代入を行うという構文を用いていた (D&E 3.9)。

既定のnew演算子関数
編集

大域名前空間のnewおよびnew[]演算子関数がプログラムによって定義されなかった場合に用いられる既定の実装は、次のような動作を行う (X3014 18.4.1.1)。

  • 次の内容のループを行う。
    1. 何らかの方法で記憶域確保を試みる。
      • 成功すればそれを返すことで関数を抜ける。
    2. 失敗した場合、newハンドラが登録されているか確認する。
      • 登録されていたら、そのnewハンドラを呼び出す。
      • newハンドラが登録されていなければ、std::bad_alloc型のインスタンスが例外として投げられる。

配置new

編集

配置new (プレースメントnew, placement new) は、new演算子からnew演算子関数へ引数を与えられる機能である。当初、インスタンスを特定のメモリアドレスに「配置」するための機能ということで配置newと命名された。後に配置に限らず様々な使い道に応用できることが明らかとなったものの、今でも慣習的に配置newと呼ばれる。

例えばヘッダ<new>には、通常のnew、new[]演算子関数のほか、次のようなnew、new[]演算子関数が定義されている (X3014 18.4)。 

void* operator new(std::size_t, void*) throw();
void* operator new[](std::size_t, void*) throw();
void* operator new(std::size_t, std::nothrow_t) throw();
void* operator new[](std::size_t, std::nothrow_t) throw();

上の2つは引数に与えられたポインタをそのままnew演算子関数の戻り値とするもので、当初の配置newの目論見どおり指定したメモリアドレスにオブジェクトを配置するために使用できる。 

class Hoge {/* ... */};

void *p = std::malloc(sizeof (Hoge)); // new演算子を使わず、mallocでメモリ領域を確保する
Hoge *obj = new(p) Hoge;

//objを使う

obj->~Hoge();
std::free(p);

下の2つは記憶域が確保できなかったときに、例外を投げない代わりにヌルポインタを返すnewである（なお、newハンドラは呼ばれる）。std::nothrow_t型のインスタンスとしてstd::nothrowが定義されており、次のように使用する。 

int* p = new(std::nothrow) int;
delete p;

deleteおよびdelete[]演算子は、std::nothrow_tを引数に取るnewが返す記憶域も解放できると定められている。また、std::nothrow_tを引数に取るものも、そうでない（nothrow_tを引数に取らない配置newでないnew演算子関数）もの同様にプログラム内で定義可能とされている (X3014 18.4.1.1 6)。

newおよびnew[]演算子を使用した際、コンストラクタが例外を投げると、コンパイラは引数の対応するdeleteないしdelete[]演算子関数で記憶域を解放しようとする。そのため、newおよびnew[]演算子で独自の記憶域確保を行う場合、対応するdelete、delete[]演算子を用意すべきであるとされる[6][7]。 

class MyAllocator;

class Foo
{
    static void* operator new(std::size_t, MyAllocator);
    static void* operator new[](std::size_t, MyAllocator);
    static void operator delete(void*, MyAllocator);
    static void operator delete[](void*, MyAllocator);
};

エラー処理

編集

newやnew[]が記憶域を確保できなかった場合、既定では例外クラス型std::bad_alloc（またはその派生クラス）のインスタンスが投げられるが、カスタマイズすることも可能である。

newハンドラ
編集

newハンドラは、既定のnewおよびnew[]演算子関数で記憶域確保に失敗した場合に呼ばれるコールバック関数であり、std::set_new_handler関数で登録できる。当時まだ例外処理がなかったC++で、記憶域確保の失敗をまとめて取り扱うために導入された。

newハンドラでは、例外を投げたり、プログラムを終了させたりするなどのほか、何らかの方法で記憶域に空きを作ることで、newおよびnew[]演算子関数の記憶域確保を成功へ導かせることも可能である。

C++/CLI

編集

C++/CLIでは、C++のnew演算子のほかに、マネージヒープから記憶域を確保するgcnew演算子が存在する。 

System::Object^ o = gcnew System::Object;

gcnewには、配置構文は存在しない。

また、gcnewにはnew[]演算子に相当する配列構文も存在しない。CLI配列（マネージ配列）の作成には、arrayキーワード (cli::array型) を用いる[8][9]。 

array<int>^ a1 = gcnew array<int>(10); // 要素数10の1次元配列。
array<int, 2>^ a2 = gcnew array<int, 2>(3, 4); // 3×4の2次元配列。

ただし、gcnewには配列初期化の構文が存在する。 

array<int>^ a1 = gcnew array<int>(4) {0, 1, 2, 3};
array<int>^ a2 = gcnew array<int> {0, 1, 2, 3}; // 上と同じ。初期化子から要素数が算出される。

array<int, 2>^ a3 = gcnew array<int, 2> {{0, 1}, {2, 3}}; // 多次元配列の例。

C#

編集

C#のnew演算子は、インスタンスを生成・初期化するという意味を持っており、参照型を対象とする場合はヒープから記憶域を確保するが、値型（構造体や列挙型）を対象とする場合は単に一時的なインスタンス（これはヒープ上に生成されるのではない）を初期化するだけである。

下のコードの場合、少なくとも概念上は、一時的なint型のインスタンスが生成され、それがxへコピーされているという扱いである。 

// intは値型なので、xはスタック上に存在する。
int x = new int();

上記は以下と等価である。 

int x = 0;

Java

編集

Javaのnew演算子もC#と同じくオブジェクトの生成と初期化に利用される。ただしC#と違ってプリミティブ型の初期化にnew演算子は使えない。 

class Point { int x, y; }
Point pt = new Point();
//int x = new int(); // コンパイル不可。

Visual Basic

編集

Visual Basicには、キーワードNewが存在し、COMのクラスのインスタンス作成に用いる。 

'MSXML2が参照設定されてあるものとする。
Dim xd As MSXML2.DOMDocument
Set xd = New MSXML2.DOMDocument

また、次のように変数の宣言と同時にインスタンスを作成し変数を初期化させることも可能である。 

Dim xd As New MSXML2.DOMDocument

ただし、この2つのコード例は必ずしも同じ意味を持つとは限らない。

Visual Basic .NET

編集

Visual Basic .NETのNewは、概ねVisual Basicの構文を踏襲している。しかし、CLIクラスを対象にする点が異なる。 

Dim o1 As System.Object
o1 = New System.Object()

Dim o2 As New System.Object()

また、配列の初期化も可能となった。 

Dim a As Integer()
a = New Integer() {0, 1, 2}

配列の宣言と初期化はまとめて実行することもできる。この場合、Newを使用する必要はない。 

Dim a As Integer() {0, 1, 2}

配列を宣言と同時に割り当てる際、インデックスの最大有効値を指定することもできる[10]。Newは使用していないが、配列オブジェクトの割り当てが実行される。 

Dim a(2) As Integer
a(1) = 1
a(2) = 2
Console.WriteLine(a.Length) ' 3

なお、Option Strictが有効になっている場合は変数に型指定が必要だが、Visual Basic 9.0 (2008) 以降はOption Inferが有効になっている場合、型推論によって右辺のNew句から変数の型を決定することができる[11]。 

Option Strict On
Option Infer On

Dim s = New String("abc") ' s は Object 型ではなく String 型になる。
Dim a() = New Integer() {0, 1, 2}

他の手法

編集

オブジェクト指向の言語では、何かしらの方法によりオブジェクトを生成できるようにする必要があるが、その手段が演算子である必然性はない。例えば、C++では、参照やポインタとしてでなく宣言されたオブジェクト型の変数は、暗黙のうちにオブジェクトを生成し、自動的に初期化される。また、Objective-CやRuby[12]のように、オブジェクトの生成をクラスメソッドにより行う言語もあるほか、オブジェクトの生成をファクトリメソッドに落としこんで、継承により上書き可能な形とすることも行われる。

脚注

編集

注釈

編集
  1. ^ その後、std::auto_ptrはC++17で廃止（削除）された。

出典

編集
  1. ^ Default-initialization - cppreference.com
  2. ^ Value-initialization - cppreference.com
  3. ^ operator new, operator new[] - cppreference.com
  4. ^ /Zc:throwingNew (Assume operator new throws) | Microsoft Learn
  5. ^ operator delete, operator delete[] - cppreference.com
  6. ^ Effective C++ 第3版, 第8章 newとdeleteのカスタマイズ, 52項 プレースメントnewの定義を書いたらプレースメントdeleteの定義も書こう
  7. ^ Effective C++ 3rd Edition, Chapter 8. Customizing new and delete, Item 52: Write placement delete if you write placement new
  8. ^ Arrays (C++/CLI and C++/CX) | Microsoft Learn
  9. ^ Platform, default, and cli Namespaces (C++/CLI and C++/CX) | Microsoft Learn
  10. ^ Dim ステートメント - Visual Basic | Microsoft Learn
  11. ^ Option Infer ステートメント - Visual Basic | Microsoft Learn
  12. ^ instance method Class#new Ruby 1.9.2 リファレンスマニュアル、2013年11月22日閲覧。

参考文献

編集

関連項目

編集
「https://ja.wiki.x.io/w/index.php?title=New演算子&oldid=100484963」から取得