最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

可変サイズ データ エラーの診断と修正

サイズ不一致エラーの診断と修正

コードに以下のような問題がないかチェックします。

 可変サイズ行列を固定サイズ行列に代入している

生成コードでは、可変サイズの行列を固定サイズの行列に代入することができません。以下の例を考えてみます。

function Y = example_mismatch1(n) %#codegen
assert(n < 10);
B = ones(n,n);
A = magic(3);
A(1) = mean(A(:));
if (n == 3)
    A = B;
end
Y = A;

この関数をコンパイルすると次のエラーが発生します。

??? Dimension 1 is fixed on the left-hand side 
but varies on the right ...

このエラーを回避するにはいくつかの方法があります。

• coder.varsize コンストラクトを追加することにより、行列 A の拡大を許可します。

  function Y = example_mismatch1_fix1(n) %#codegen
  coder.varsize('A');
  assert(n < 10);
  B = ones(n,n);
  A = magic(3);
  A(1) = mean(A(:));
  if (n == 3)
      A = B;
  end
  Y = A;

• assert ステートメントを変更することで、行列 B のサイズを明示的に 3 行 3 列に制限します。

  function Y = example_mismatch1_fix2(n) %#codegen
  coder.varsize('A');
  assert(n == 3)
  B = ones(n,n);
  A = magic(3);
  A(1) = mean(A(:));
  if (n == 3)
      A = B;
  end
  Y = A;

• 明示的なインデックスを使い、B のサイズを A と同じにします。

  function Y = example_mismatch1_fix3(n) %#codegen
  assert(n < 10);
  B = ones(n,n);
  A = magic(3);
  A(1) = mean(A(:));
  if (n == 3)
      A = B(1:3, 1:3);
  end
  Y = A;

 可変サイズ指定に合わせて空行列が形状変更されている

空行列 [] を可変サイズのデータに代入すると、MATLAB^® は coder.varsize の指定に合わせて生成コードの中でデータを暗黙的に形状変更する場合があります。例:

function Y = test(u) %#codegen
Y = [];
coder.varsize('Y', [1 10]);
if u < 0
    Y = [Y u];
end

この例では、coder.varsize が Y を最大 10 個の要素をもつ列ベクトルとして定義しているため、第 1 次元はサイズが 1 で固定されています。ステートメント Y = [] は、Y の最初の次元を 0 として指定し、不一致が起こります。この代入は、右辺は空行列で、左辺が可変サイズのベクトルになっています。この場合、MATLAB は、生成されたコードで空行列 Y = [] を Y = zeros(1,0) に形状変更し、coder.varsize の指定に一致させます。

 固定サイズと可変サイズのオペランドに対し二項演算を実行している

サイズの異なるオペランドに対しては、二項演算を実行できません。オペランドは、一方が固定の次元をもっていて、他方が可変の次元をもっている場合にサイズが異なります。例:

function z = mismatch_operands(n) %#codegen
assert(n >= 3 && n < 10);
x = ones(n,n);
y = magic(3);
z = x + y;

この関数をコンパイルすると、y が固定の次元 (3 行 3 列) をもっているのに対して x が可変の次元をもっているため、エラーが発生します。この問題を修正するには、以下のように明示的なインデックスを使い、x のサイズを y と同じにします。

function z = mismatch_operands_fix(n) %#codegen
assert(n >= 3 && n < 10);
x = ones(n,n);
y = magic(3);
z = x(1:3,1:3) + y;

上限検出のエラー診断と修正

コードに以下のような問題がないかチェックします。

 行列コンストラクターにおける不定次元の使用

変数を不定次元の行列に代入して、可変サイズのデータを定義できます。例:

function y = dims_vary(u) %#codegen
if (u > 0)
    y = ones(3,u);
else
    y = zeros(3,1);
end

ただし、この関数をコンパイルすると、u の上限が指定されていないため、エラーが生成されます。

この問題の修正には、いくつかの方法があります。

• 動的メモリ割り当てを有効にし、再コンパイルします。可変サイズ データの動的メモリ割り当てを使用する場合は、コードの生成時に、MATLAB は上限をチェックしません。

• 動的メモリ割り当てを使用しない場合は、u を最初に使用する前に、assert ステートメントを追加します。

  function y = dims_vary_fix(u) %#codegen
  assert (u < 20);
  if (u > 0)
      y = ones(3,u);
  else
      y = zeros(3,1);
  end