[C++]二次元配列を関数に用いたいが、関数の汎用性を妨げる方法しか浮かばない

Question

私は、様々な大きさの二次元配列に”ある処理”を行う関数を作りたいと思い、色々調べたのですが、
結局以下の様な仮引数の時点で、配列ポインタの要素数を与えなければいけない方法しか浮かびませんでした。

//一部を抜粋してます。
double hoge(double (*array)[要素数]); 

この場合だと要素数を予め関数のコードに書いておかないといけないので、
ある一定の大きさの二次元配列しか受け付けない関数になる。→汎用性が薄い関数になる。

なので、どうにかしてユーザーが二次元配列の大きさを考慮せずとも使える、二次元配列を用いる関数を作れないでしょうか？

回答宜しくお願い致します。

Comments

[episteme]

汎用性を求めるなら要素数(=列数)だけでなく行数も与えなくてはならんのでは?
# 正方行列のみを対象とするなら要らんけど

Answer 1

template<typename TABLE>
double hoge(TABLE &array, int height, int width){
  double total = 0;
  for (int y = 0; y < height; ++y)
    for (int x = 0; x < width; ++x)
      total += array[y][x];
  return total;
}

#include <iostream>

double table[2][3] = {{1,2,3},{4,5,6}};

int main() {
  std::cout << hoge(table, 2, 3) << std::endl;
  return 0;
}

テンプレートはいかがでしょうか

Answer 2

C(gcc/clang)ならオプション規格の可変長配列(VLA)を使って
double hoge(int N, double (*array)[N]);
として下位配列の要素数を与える手もあるかな、と思ったけどC++なんですね。

ベタに一次元配列にキャストしたポインタと下位配列の要素数を渡して、計算でなんとかするとか。
double hoge(double array, int N);
array[m][n]はarray[mN+n]

静的にサイズが決まるならテンプレートとか。

ダブルポインタ( double **array)は、二次元のデータ構造を表せる方法の一つではあるけれど、文法的な「二次元配列」とは別物で、メモリー上のデータ配置も違うから余程注意して使わないと。

Answer 3

double hoge(double **array,size_t 要素数);

でいいんでは

Answer 4

double hoge(double* array, size_t width, size_t height)
{
    return array[y * width + x];
}

hoge(&array[0][0], 1次元目, 2次元目);

これではダメですか?

Answer 5

テンプレートを用いる方法が考えられます。

template<std::size_t y, std::size_t x>
double hoge(double (&array)[y][x]);