c++ - 如何处理不明确的模板参数？

Question

我想这更像是一个设计问题。如果这不是在正确的地方，请原谅我。假设我有一个代表系统总 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，只有存储区的大小是已知的。有什么解决方案？

Answer 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 存储区的集合。