可以引用函数返回类型的属性吗？

Question

我想知道是否可以以某种方式从返回不受约束类型的函数内部引用返回类型/值的属性。 （约束是否会传播到函数中？有些东西告诉我它们不会，并且返回类型的约束是由函数内实际返回的内容决定的）例如：

function f return std_logic_vector is begin
    -- how do we access attributes of what we are returning?
    -- "return_type" is a placeholder for it here, it would be nice if
    -- this information propagated up into the function based on the way
    -- the function's result is used when invoked
    return (return_type'high - 2 downto return_type'low + 1 => '0', others => '1');
end function;
signal x: std_logic_vector(7 downto 0);
signal y: std_logic_vector(11 downto 0);
[...]
x <= f; -- expect x = "11000001"
y <= f; -- expect y = "110000000001"

我知道这可以通过传递来破解函数所需类型的东西作为参数，就像这样，但如果可能的话我想避免它：

function f(hint: std_logic_vector) return std_logic_vector is
    variable retval: std_logic_vector(hint'range);
begin
    retval := (hint'high - 2 downto hint'low + 1 => '0', others => '1');
    return retval;
end function;
signal x: std_logic_vector(7 downto 0);
signal y: std_logic_vector(11 downto 0);
[...]
x <= f(x); -- x = "11000001"
y <= f(y); -- y = "110000000001"

如果重要的话，我正在使用 Quartus 并且这需要综合。第二个代码块应该可以正常工作（假设我没有犯任何错误），但我想知道是否有更好的方法来完成此任务。

请注意，这些都是人为的示例，当然还有更简单的方法来分配这些值；我问的是，一般来说是否有一种很好的方法来避免传递额外参数的黑客行为。

Answer 1

使用无约束数组作为返回类型，您的函数负责决定它返回什么，通常以某种方式基于输入的范围。返回范围可能与您的输入范围相同，或者如果需要也可以不同（也许您正在连接多个数组，增加位宽以避免结果溢出，或者其他什么）。

在你设计的示例中你不能轻易地做到这一点，因为你的函数没有输入......我想这会使其成为一个常量。 :)

如果你的代码发生变化，你需要做什么就更明显了：

-- from:
x <= f; 

-- to:
x <= f(x);