概要

NumPyの2次元配列を（ctypesを使って）C言語の関数に渡す方法を紹介します。
本記事には書きませんが応用すれば3次元以上の多次元配列でもやりとりできます。

先に結論

libhoge.soという共有ライブラリに下記のような関数があったとします。
2行3列の行列を表示する関数です。

void print2x3(int **a) {
    printf("%d,%d,%d\n", a[0][0], a[0][1], a[0][2]);
    printf("%d,%d,%d\n", a[1][0], a[1][1], a[1][2]);
}

この関数にNumPyの2次元配列を渡したいとします。
このとき下記のようなPythonスクリプトでうまくいきます。

import numpy as np
from ctypes import *

# C言語の関数に渡すNumPy配列
src = np.array([[0,1,2], [3,4,5]], dtype=np.int32)

# C言語のライブラリ
libhoge = cdll.LoadLibrary("libhoge.so")

# NumPy配列をC言語の関数に渡す
src2 = src.copy()
f = src2.__array_interface__["data"][0]
d = src2.strides[0]
n = src2.shape[0]
c_src2 = f + d * np.arange(n)
c_src2 = c_src2.astype(np.uintp)
addr = c_src2.__array_interface__["data"][0]
addr = c_void_p(addr)
libhoge.print2x3(addr) # 表示
"""
出力
0,1,2
3,4,5
"""

詳細

予備知識：配列の構造

C言語

1次元配列の場合は単純で、すべての要素がメモリ空間上連続して格納されています。
2次元配列の場合は少し複雑です。C言語の2次元配列とは、1次元配列の先頭アドレスを要素とする1次元配列です。
例を示します。
下記のような2次元配列があったとしましょう。変数名はaとします。

int a[2][3] = {{0,1,2}, {3,4,5}};

aはメモリ空間上に下図のように配置されます。

（int型は4バイト、アドレス型も4バイト使うと仮定しています。）
（図中のアドレスの数字は適当です。）

NumPy

1次元配列の場合も2次元配列の場合もすべての要素がメモリ空間上連続して格納されています。
例を示します。
また2次元配列の場合、基本的には同じ行の要素は連続して格納されています。
（転置などが絡むとその限りではありません。詳しくは後述します。）
下記のような2行3列の2次元配列があったとしましょう。変数名はbとします。

>>> b=np.array([[0,1,2],[3,4,5]], dtype=np.int32)
>>> print(b)
[[0,1,2],
 [3,4,5]]

このときbの各要素はメモリ空間上に下図のように連続して配置されます。

（図中のアドレスの数字は適当です。）

C言語の2次元配列をNumPyで再現

NumPyの2次元配列の場合、メモリ空間上に全要素が連続して配置されているのでした。
すると下記の等差数列はC言語の2次元配列と同じになります。

初項：全要素の先頭アドレス
公差：各行のバイト数
項数：行数

さらに初項、公差、項数はそれぞれ次のよう得られます。

初項：全要素の先頭アドレス

b.__array_interface__.["data"][0]

公差：各行のバイト数

b.strides[0]

stridesというメンバ変数は隣の行/列の要素までのバイト数を表したタプルです。
例に挙げている変数bの場合は下記のようになります。

>>> print(b.strides)
(12,4)

項数：行数

b.shape[0]

shapeというメンバ変数は行数/列数を表したタプルです。
例に挙げている変数bの場合、2行3列の配列でしたので下記のようになります。

>>> print(b.shape)
(2,3)

等差数列を得る

初項、公差、項数が分かりました。ここから下記のスクリプトで等差数列が得られます。

f = b.__array_interface__.["data"][0]
d = b.strides[0]
n = b.shape[0]
c_b = f + d * np.arange(n)

（np.arange(n)は 0,1,…,n-1 という数列を返す関数です。）

型変換

まだ完成ではありません。
C言語の2次元配列はアドレスを要素とする配列でした。
しかしc_bの要素は整数型なのでアドレス型に変換します。
astypeという関数で型変換できます。

c_b = c_b.astype(np.uintp)

これでC言語の2次元配列と同じNumPy配列が得られました。

再現した配列をC言語に渡す

C言語の関数は配列を引数として受け取るとき、実際には配列の先頭アドレスを受け取ります。
そのため上の変数c_bをC言語の関数に配列を渡そうとしたら、c_bの要素の先頭アドレスを得る必要があります。
先の初項と同じく下記のようにすれば、変数addrとして先頭アドレスを得られます。

addr = c_b.__array_interface__["data"][0]

addrはPythonのint型です。C言語にアドレス型として渡すには型変換が必要です。
そこで下記のようにaddrをctypes.c_void_p型に変換します。

addr = c_void_p(addr)

これで準備が整いました。
あとはお目当てのC言語の関数にaddrを渡せば完了です。
例えば冒頭の関数print2x3の場合、下記のように書けばよいです。

libhoge.print2x3(addr)

まとめ

以上をまとめると下記のようになります。

# C言語の2次元配列を再現
f = b.__array_interface__.["data"][0]
d = b.strides[0]
n = b.shape[0]
c_b = f + d * np.arange(n)
c_b = c_b.astype(np.uintp)
# 再現した配列をC言語に渡す
addr = c_b.__array_interface__["data"][0]
addr = c_void_p(addr)
libhoge.print2x3(addr)

これは下記のような書き方もできます。
読みづらくなりますが、変数が減る＋実質2行なので処理がほんの少し軽くなります。多分。

c_b = (
  b.__array_interface__.["data"][0] + 
  b.strides[0] * np.arange(b.shape[0])
).astype(np.uintp)
libhoge.print2x3(
  c_void_p(c_b.__array_interface__["data"][0])
)

注意1 : 転置、reshape、スライス等と相性悪い

「予備知識：配列の構造」の章にてNumPy配列はメモリ空間上に基本的に同じ行の要素が連続して格納されていると書きました。
しかし転置、関数reshape、スライスなどを使った場合、その限りではありません。
これらの処理はstridesとshapeを書き換えるのみで、配列の要素部分には触りません。
メモリ空間上で要素を並び替えると処理時間が長くなるので、「メモリ空間のどこが行列の何行何列目に対応するのか」という情報だけ書き換えようという発想に基づいています。
（下図はNumPy配列の転置処理後のイメージです。要素は書き換えず、矢印＝並び順のルールだけ書き換えることを示しています。）

とても賢い発想ですが、先に紹介した方法とは相性が悪いです。
「C言語の2次元配列をNumPyで再現」の章にある方法は、同じ行の要素が連続しているからこそ可能でした。
転置した配列などに対してはうまくいきません。
回避方法として、目当てのNumPy配列のメンバ関数copyを使って複製したのち、C言語に渡すという方法があります。

# 配列を複製
b2 = b.copy()
# C言語の2次元配列を再現
f = b2.__array_interface__.["data"][0]
d = b2.strides[0]
n = b2.shape[0]
c_b2 = f + d * np.arange(n)
c_b2 = c_b2.astype(np.uintp)
# 再現した配列をC言語に渡す
addr = c_void_p(c_b2.__array_interface__["data"][0])
libhoge.print2x3(addr)

注意2 : NumPy配列がC言語によって書き換えられる

C言語の関数内に配列を書き換える処理がある場合、NumPy配列が書き換えられてしまいます。
例えばlibhogeという共有ライブラリに下記のような関数があったとしましょう。
2行3列の2次元配列の各要素に1を足す関数です。

void plusone2x3(int **a) {
    for (int i = 0; i < 2; i++)
        for (int j = 0; j < 3; j++)
            a[i][j] += 1;
}

この関数に上の方法で変数bを渡します。
すると下記のようにbの要素に1が足されます。

print(b)
"""
出力
[[0,1,2],
 [3,4,5]]
"""
# 略
libhoge.plusone2x3(addr)
print(b)
"""
出力
[[1,2,3],
 [4,5,6]]
"""

C言語側でPythonの変数を書き換えるという挙動になり、単一責任の原則に反します。
必ずしもダメではありませんが、可読性やメンテナンス性を下げるので注意してください。

参考