人工知能の今と一歩先を発信するメディア
NumPyの配列要素を複製した際のオブジェクトはコピー(copy)とビュー(view)に分類することができます。この2つについての理解が深まると、メモリ効率や速度を意識したコードが書けるようになります。
本記事を通して、copyとviewについての理解を深めましょう。
そもそもcopyとviewとは何なのか
copyとviewというのはオブジェクトであり、元となる配列との関係性で定まります。両者の特徴をまとめると以下のようになります。
- copy：元の配列と違うメモリを使用しているが要素が同一の意味を持つもの
- view：元の配列と同じメモリを参照しているもの
と呼びます。viewは同じメモリを参照しているためviewにあたる配列の要素が変更されると元の配列にも変更が反映されることになります。
In [1]: import numpy as np
In [2]: a = np.array([1,2,3])
In [3]: d = a.view() # viewを作成する
In [4]: d[0] = 100 # viewの値を１つ変更する。
In [5]: d
Out[5]: array([100, 2, 3])
In [6]: a # 元の配列であるaにも変更が反映される。
Out[6]: array([100, 2, 3])copyだと変更は反映されません。
In [7]: c = a.copy()
In [8]: c[1] = 25
In [9]: c
Out[9]: array([100, 25, 3])
In [10]: a
Out[10]: array([100, 2, 3])メモリ効率という観点では大きな配列になればなるほど、viewをなるべく使った方が良いことになります。しかし、元の配列のデータを変えてしまう可能性が非常に高く、元のデータを保持しておきたいという場合にはcopyを使いましょう。
操作による違い
NumPyの操作ではcopyとviewが使い分けられています。内部操作がcopyとなるのかviewを生成するのかを知っていることで、さらに効率を意識したコードを書くことができるのでまとめます。
代入
まずは変数に配列そのものを格納する場合についてです。
=を使って代入していくわけですが、Pythonにおける変数への代入というのはオブジェクトへの参照を格納するということになります。つまり、代入された変数がオブジェクトになるのではなく、変数はあくまでオブジェクトがある場所を示すものとなっています。
In [11]: a = np.array([1, 2, 3])
In [12]: b = a # bにaを代入
In [13]: id(a) == id(b) # 参照元が同じかどうかを確かめる
Out[13]: Trueid関数はオブジェクトの’識別値’を返す関数です。
ここで、変数へ代入するときにaをa[:]と表記を変えてみます。PythonのlistだとcopyになりますがNumPyのndarrayではviewとなります。
In [20]: a = np.array([1,2,3])
In [21]: c = a[:] # 表記を変えてみる
In [22]: id(a) == id(c) # 違うオブジェクトを参照しているのがわかる。
Out[22]: False
In [23]: c[1] = 22 # cの一部を変更
In [24]: a # 変更がaにも反映されている。
Out[24]: array([ 1, 22, 3])このように、スライス表記ですと元の配列と異なるオブジェクトが生成されますがそのオブジェクトの要素は元の配列のviewとなります。もちろん、スライス表記なので一部の配列を抜き出すようにしてもviewが生成されます。
In [25]: d = a[:1]
In [26]: id(d) == id(a)
Out[26]: False
In [27]: d[0] = 11
In [28]: a
Out[28]: array([11, 22, 3])
In [29]: d
Out[29]: array([11])代入でコピーを作成するには元の配列のコピーを代入します。
In [36]: e = a.copy() # aのコピーを代入
In [37]: e.base is a
Out[37]: False
In [38]: e[2] = 234
In [39]: e
Out[39]: array([ 11, 22, 234])
In [40]: a
Out[40]: array([ 11, 22, 3])base属性(attribute)はベースとなるオブジェクトが存在した場合そのベースとなるオブジェクトを表示するものです。オブジェクトがviewでない限りこれの値はNoneとなります。
In [41]: print(a.base)
Noneコピーを作成したい場合は、copy関数を使いましょう。
In [42]: f = a.copy()
In [43]: f.base is a
Out[43]: False演算
演算結果について、表記の仕方でコピーが作られる場合と作られない場合が存在します。
例えば、足し算をする場合を考えてみます。a = a + 1とするとaのcopyが生成され、各要素に1を加算した新たな配列がaに代入されます。
In [45]: a = np.array([1,2,3])
In [46]: c = a # viewとなるcをつくる。
In [47]: a = a + 1 # 1を加算する
In [48]: c # cに変更が反映されない。
Out[48]: array([1, 2, 3])
In [49]: a
Out[49]: array([2, 3, 4])aのviewとなるcに変更が反映されていません。aの参照しているオブジェクトが新しく生成されたため、aとcのviewの参照先が異なることを意味します。
a += 1の形にするとどうなるでしょうか。この場合はaのコピーが作られることなく、配列の値が1ずつ加算される形で更新されます。
In [50]: a = np.array([1,2,3])
In [51]: c = a
In [52]: a += 1
In [53]: c
Out[53]: array([2, 3, 4])
In [54]: a
Out[54]: array([2, 3, 4])これは四則演算子である+,-,*,/や累乗を計算する**においても同様のことが言えます。
コピーを作らずに演算を行う方法として演算を行う関数を使うこともできます。加算ならadd関数、減算ならsubtract関数が使えます。
数学的関数については以下の記事で色々紹介しているので参考にしてみてください。
NumPyの数学関数・定数まとめ - DeepAge /features/numpy-math.html
これらの演算関数の引数にはoutというものがあり、ここに元となる配列を指定すると配列の値を上書きすることができ、メモリ効率をあげることができます。コピーを作らないだけで計算パフォーマンスも向上します。
In [66]: a = np.array([1,2,3])
In [67]: c = a
In [68]: np.add(a,1, out=a)
Out[68]: array([2, 3, 4])
In [69]: a
Out[69]: array([2, 3, 4])
In [70]: c
Out[70]: array([2, 3, 4])では、計算速度を比較してみましょう。2つの配列X、Yを作り以下のように表されるAの値を計算するとします。
A = X*4 + Y*3
様々なやり方で計算してみましょう。以下のような関数test()を使って計測します。
def test():
import time
X = np.ones(100000000, dtype='int8')
Y = np.ones(100000000, dtype='int8')
a = time.time()
for _ in range(100): # 方法1
X = X*4 + Y*3
X = np.ones(100000000, dtype='int8')
b = time.time()
print('X = X*4 + Y*3: {} sec'.format((b-a)/100))
a = time.time()
for _ in range(100): # 方法2
X *= 4
X += Y*3
X = np.ones(100000000, dtype='int8')
b = time.time()
print('X *= 4; X += Y*3: {} sec'.format((b-a)/100))
a = time.time()
for _ in range(100): # 方法3
np.multiply(X, 4, out=X)
np.multiply(Y, 3, out=Y)
np.add(X, Y, out=X)
X = np.ones(100000000, dtype='int8')
b = time.time()
print("using functions: {} sec".format((b-a)/100))これを実行します。
In [111]: test()
X = X*4 + Y*3: 0.15649971961975098 sec
X *= 4; X += Y*3: 0.11750322103500366 sec
using functions: 0.08618597984313965 sec関数を使って計算した方が早く計算ができることがわかりますね。
配列の一次元化
配列を一次元化する関数としてflatten関数とravel関数が存在します。flatten関数では配列の一次元化したcopyを作成してそれへの参照が返されます。一方、ravel関数では読み込むメモリーの場所は元の配列と同じビュー(view)を返します。
ravel関数はコピーを作成しないため、コピーを作成するflatten関数より処理速度が速い特徴があります。詳しい解説は以下の記事で行なっているので使い方などが気になる方は参照してみてください。
配列を1次元に変換するNumPyのflatten関数の使い方 - DeepAge /features/numpy-flatten.html
flattenよりも高速に配列を一次元化するnumpy.ravel関数の使い方 - DeepAge /features/numpy-ravel.html
In [1]: import numpy as np
In [2]: a = np.random.randn(2,3,9)
In [3]: b = a.ravel()
In [4]: c = a.flatten()
In [5]: a
Out[5]:
array([[[-0.08174386, 0.26572468, 0.567573 , -1.38605284, 0.38670771,
1.18548385, 0.60952909, -0.73427919, 0.1827606 ],
[ 1.56150254, 0.78448663, 0.79470278, -1.68160908, 1.65006098,
0.30753166, 0.26845956, -0.61851187, 0.43305801],
[ 0.46361119, -1.8501969 , 0.67521371, 1.5689528 , 0.76623727,
0.61117491, 2.10937054, -0.11104958, 0.0083282 ]],
[[ 0.20375639, 1.95139355, -0.68546597, 1.08584989, 1.69015733,
-0.48769387, 2.2704154 , -0.70044442, -0.3769095 ],
[ 0.12435112, -0.58086285, 1.35984034, 0.38650113, -0.86224261,
0.21651296, 1.46182258, -1.05273576, -0.65269428],
[-0.82453928, -0.47707194, 1.57473802, -0.40136323, 2.25313411,
0.31413172, -0.37410255, -0.38898 , -0.99284404]]])
In [6]: a[0,0,0] = 129
In [7]: a[0,0,0], b[0], c[0]
Out[7]: (129.0, 129.0, -0.081743863020672075)fancy indexing
特殊なインデックス指定を用いると基本的にコピーが生成されます。
In [1]: import numpy as np
In [3]: a = np.random.randint(10,size=100)
In [4]: a
Out[4]:
array([2, 5, 8, 4, 2, 3, 8, 6, 7, 4, 2, 5, 7, 7, 5, 1, 9, 5, 8, 7, 7, 4, 9,
4, 8, 4, 4, 4, 2, 0, 9, 6, 9, 2, 9, 5, 6, 8, 9, 6, 0, 9, 2, 6, 4, 9,
8, 7, 5, 7, 1, 0, 2, 0, 1, 6, 5, 9, 9, 2, 4, 0, 3, 2, 1, 7, 6, 4, 6,
3, 0, 7, 2, 6, 0, 0, 2, 8, 8, 3, 3, 5, 8, 8, 4, 7, 9, 7, 7, 8, 1, 2,
3, 0, 2, 7, 8, 2, 3, 1])
In [5]: n = a%3==0 # 3の倍数であるもののところがTrueになる。
In [6]: n
Out[6]:
array([False, False, False, False, False, True, False, True, False,
False, False, False, False, False, False, False, True, False,
False, False, False, False, True, False, False, False, False,
False, False, True, True, True, True, False, True, False,
True, False, True, True, True, True, False, True, False,
True, False, False, False, False, False, True, False, True,
False, True, False, True, True, False, False, True, True,
False, False, False, True, False, True, True, True, False,
False, True, True, True, False, False, False, True, True,
False, False, False, False, False, True, False, False, False,
False, False, True, True, False, False, False, False, True, False], dtype=bool)
In [7]: a[n] # 3の倍数の要素を抽出
Out[7]:
array([3, 6, 9, 9, 0, 9, 6, 9, 9, 6, 9, 6, 0, 9, 6, 9, 0, 0, 6, 9, 9, 0, 3,
6, 6, 3, 0, 6, 0, 0, 3, 3, 9, 3, 0, 3])
In [8]: k = a[n]
In [9]: np.may_share_memory(a,k) # メモリを共有しているかどうかを確かめる関数。後ほど解説。
Out[9]: False
In [10]: f = a[np.arange(0,10,2)]
In [11]: np.may_share_memory(a,f)
Out[11]: Falsecopyかviewか確かめる方法
値を毎回代入してcopyかどうかを確かめるのは大変です。そうしなくても確かめる方法がいくつかあります。
may_share_memory関数を使う方法
一番簡単な方法として、NumPyにあるmay_share_memory関数で確かめる方法があります。
この関数は、引数として指定された２つの配列が同じメモリーを参照しているかどうかを確かめるものです。この判定は実は厳密なものではなく、Trueが返ってきても必ずしもメモリを共有しているとは限りませんが基本的に信用して大丈夫です。
Falseが出た場合、その結果は信頼できます(間違ったTrue判定を出すときはあるが間違ったFalse判定を出すことがない)。このようになっているのは恐らく、本来ビューのものをコピーと間違って扱う方が致命的なミスにつながりかねないが、逆にビューだと間違って扱う方が元のデータ構造を破壊するなどのミスをすることはないからだと思われます。
より厳密に知りたいかたはshare_memory関数が実装されているのでそちらを使うことをオススメします。デメリットとしてmay_share_memory関数より処理時間がかかるというものがありますが。
In [1]: import numpy as np
In [2]: a = np.array([1,2,3])
In [4]: b = a
In [5]: c = b
In [6]: d = a.copy()
In [8]: np.may_share_memory(a,b) # Trueならbはaのビューだということになる。
Out[8]: True
In [9]: np.may_share_memory(a,c) # こちらもTrue
Out[9]: True
In [10]: np.may_share_memory(a, d) # dはaのコピーなのでFalse
Out[10]: False
In [12]: np.shares_memory(a,b) # より厳密な測定にはshare_memory関数を使う
Out[12]: True
In [13]: np.shares_memory(a,d)
Out[13]: Falsebase属性(attribute)を使う方法
他にも、その配列がviewであるなら参照元の配列を返すbase属性(attribute)というものがあります。これは1つ上の配列を返すだけなのでviewのviewのbaseはオリジナルの配列と一致せず、1つ前のビューを返すことになってしまいます。
そのため、若干使い勝手が悪くなります。
copyかviewかを確かめるためだけであったらbaseを使って確かめる方法はあまりオススメできません。
