Question

我正在尝试创建一个灵活的常量数组。我想使用2D阵列，有时可能是2x1,2x2,3x2阵列等。例如：

type int_2d_array is array (integer range<>, integer range<>) of integer;
constant M : positive := 2;
constant nMax : positive := 1;
constant n : int_2d_array(M - 1 downto 0, nMax - 1 downto 0) := ( (1) , (2) ); -- wrong

error: type int_2d_array does not match with the integer literal

如果我这样做，它不会抱怨：

type int_2d_array is array (integer range<>, integer range<>) of integer;
constant M : positive := 2;
constant nMax : positive := 2;
constant n : int_2d_array(M - 1 downto 0, nMax - 1 downto 0) := ( ( 0,1 ) , ( 2,2 )); -- accepted

第一个例子是否可以使用2D数组？

Answer 1

LRM（第9.3.3节聚合）声明：

包含单个元素关联的聚合应始终使用命名关联指定，以便将它们与带括号的表达式区分开来。

所以，这没关系：

constant n : int_1d_array(0 downto 0) := ( 0 => 1 );

而这不是：

constant n : int_1d_array(0 downto 0) := ( 1 );

http://www.edaplayground.com/x/6a4

Answer 2

我设法用以下丑陋的方式编译第一个例子：

type int_2d_array is array (integer range<>, integer range<>) of integer;
  constant M : positive := 2;
  constant nMax : positive := 1;
  constant n : int_2d_array(M - 1 downto 0, nMax - 1 downto 0) := ( (others => 1) , (others => 2) );

确实是奇怪的行为。

2D无约束Nx1阵列

2 个答案: