使用可能范围（0 到 0）的数组类型的数组时有什么问题？

Question

我真的不明白出了什么问题：

我有一个不受约束的类型

type int_matrix_type is array (natural range <>, natural range <>) of integer;

，用于创建不同大小的矩阵，即使我想要一个范围为 (0 到 1, 0 to 0) 我认为这会给出一个 2 行 1 列的矩阵（对吗？），就像这个例子中的 signal example2_matrix ：

library ieee;
use ieee.std_logic_1164.all;

entity toto is
    port (
        clk : in std_logic
    );
end entity;

architecture test of toto is

    -- type declaration
    type int_matrix_type is array (natural range <> ,natural range <>) of integer;
    -- examples of matrix signals
    signal example1_matrix : int_matrix_type (0 to 1, 0 to 1) 
    := ((0, 1),
        (2, 3)
        );
    signal example2_matrix : int_matrix_type (0 to 1, 0 to 0)
    := ((0), -- here line 20
        (2)  --      line 21
        );  
        
begin

end test;

但是当我编译时，Quartus 返回错误

那么出了什么问题呢？

提前致谢 ！

Answer 1

解决方案已在主帖下的评论中给出。所以我只是在这里为其他人重写一个明确的解决方案。我引用：

@user16145658

语义规则可在 IEEE Std 1076-2008 9.3.3 聚合、9.3.3.1 常规中找到，“包含单个元素关联的聚合应始终使用命名关联来指定，以便将它们与括号表达式区分开来。”

这意味着我的代码应该看起来更像：

library ieee;
use ieee.std_logic_1164.all;

entity toto is
    port (
        clk : in std_logic
    );
end entity;

architecture test of toto is

    -- type declaration
    type int_matrix_type is array (natural range <> ,natural range <>) of integer;
    -- examples of matrix signals
    signal example1_matrix : int_matrix_type (0 to 1, 0 to 1) 
    := ((0, 1),
         (2, 3)
        );
    -- this not ok
    --signal example2_matrix : int_matrix_type (0 to 1, 0 to 0)
    --:= ((0), -- here line 20
    --    (2)  --      line 21
    --    ); 
    -- this ok
    signal example2_matrix : int_matrix_type (0 to 1, 0 to 0) 
    := (0 => (0 => 0),
        1 => (0 => 1)); 
    -- or
    signal example2bis_matrix : int_matrix_type (0 to 1, 0 to 0)  
    := ((0 => 0),
        (0 => 1));
         
begin

end test;

希望它能帮助其他人！