Solidity返回固定大小数组时类型不匹配错误的解决方法

问题重现 #

以下合约编译部署正常：

// SPDX-License-Identifier: MIT 
pragma solidity ^0.8.0; 
contract MultipleValues{
function returnValues() public pure returns (uint, bool, uint8[3] memory) {
    return (23, true, [1,2,3]);
}
}

但将返回值中的uint8[3]改为uint[3]后，编译抛出错误：

TypeError: Return argument type tuple(int_const 23,bool,uint8[3] memory) is not convertible to expected type tuple(uint256,bool,uint256[3] memory)

问题原因 #

Solidity中，数组字面量[1,2,3]会默认推断为最小适配的整数类型（此处为uint8）。而固定大小数组的类型匹配要求严格：不仅元素类型要兼容，数组的整体类型（包括元素类型和长度）必须与返回值声明完全一致，编译器不会自动对固定大小数组进行隐式类型转换。

解决方法 #

方法1：显式转换数组元素并指定目标数组类型 #

直接在返回语句中，将数组字面量的每个元素转换为uint（即uint256），同时显式声明数组的目标类型：

// SPDX-License-Identifier: MIT 
pragma solidity ^0.8.0; 
contract MultipleValues{
function returnValues() public pure returns (uint, bool, uint[3] memory) {
    return (23, true, uint[3]([uint(1), uint(2), uint(3)]));
}
}

方法2：先声明对应类型的数组变量再返回 #

先定义一个uint[3]类型的内存数组，赋值后再返回，编译器会自动处理类型匹配：

// SPDX-License-Identifier: MIT 
pragma solidity ^0.8.0; 
contract MultipleValues{
function returnValues() public pure returns (uint, bool, uint[3] memory) {
    uint[3] memory resultArr = [uint(1), uint(2), uint(3)];
    return (23, true, resultArr);
}
}

内容的提问来源于stack exchange，提问作者Sanjeevan Thorat