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

How to deal with ambiguous template arguments?

本文关键字：参数 模棱两可 何处理 处理      更新时间：2023-10-16

我想这更多是一个设计问题。如果这不是正确的地方，请原谅我。假设我有一个代表系统的总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银行的大小：

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

直到运行时，总RAM才知道，只有银行的规模才知道。解决方案是什么？

您可以使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银行的集合。

相关文章：