如何处理模棱两可的模板参数？

Posted 2023-02-19

【中文标题】如何处理模棱两可的模板参数？

【英文标题】：How to deal with ambiguous template arguments?

【发布时间】：2019-12-12 01:16:42

【问题描述】：

我想这更像是一个设计问题。如果这不是在正确的地方，请原谅我。假设我有一个类代表系统的总 RAM，分为银行：

template <uint16_t bank_sz>
class Ram

    constexpr static auto BANK_SIZE = bank_sz;
    using Bank = std::array<uint8_t, BANK_SIZE>;

    public:
    uint8_t read(uint8_t bank, uint16_t adr) const;
    void write(uint8_t b, uint8_t bank, uint16_t adr);
    void dump(std::ostream &os) const;

    private:
    std::vector<Bank> data_ ;
;

模板在那里，因此用户可以指定银行的大小，因为所讨论的系统可以有不同大小的 RAM 银行。但是，我觉得这可能会让用户感到困惑，并且违反了最小意外原则，因为人们会期望模板参数指定总 RAM 的大小，而不是 RAM bank 的大小：

Ram<0x2000> work_ram; // 4 KB total of work RAM? (no, 4 KB per bank)

直到运行时才知道总 RAM，只有银行的大小是已知的。有什么办法可以解决这个问题？

【问题讨论】：

文档...

将类重命名为RamBank。由于真实的计算机系统可以有多个 RAM 库，因此总 RAM 将是一个库的大小乘以该类型的库的数量的乘积（可能在运行时根据您的描述设置）。如果需要，这也可以推广到具有不止一种 RAM 组的系统（例如哈佛架构计算机）。

【参考方案1】：

您可以将Bank typedef 设为独立模板，然后让Ram 模板将Bank 作为其模板参数。即：

template <uint16_t SIZE>
using RamBank = std::array<uint8_t, SIZE>;

template <typename Bank>
class Ram

public:
    //...

private:
    std::vector<Bank> data_;
;

然后把它当作

Ram<RamBank<0x2000>> work_ram;

这让我很清楚 work_ram 是 2KB 银行的集合。