在 C++ 中重载显式构造函数

Question

我正在读一本书，得到了一些我不太了解的类设计代码。

class Queue {
public:
    Queue(size_t capacity) {}
    explicit Queue(int capacity) : entries_(capacity) {}
...
private:
    vector<int> entries_;
...
};

还有一个类似的，

class LruCache {
public:
    LruCache(size_t capacity) {}
    explicit LruCache(int capacity) : capacity_(capacity) {}
...
private:
    int capacity_;
...
};

我有两个问题，

1. 我们能否仅在 explicit 关键字上重载方法，例如 const 关键字？就我而言，参数类型有点不同，int 和 size_t。

2. 一个更重要的问题是为什么。为什么我们需要一个重载的explicit 构造函数？在 C++ 入门中，我相信它说不建议重载具有相似参数类型的函数。

编辑：

我的第二个问题更多关于上面的代码。为什么它有一个带有int 参数的构造函数，然后是一个带有size_t 参数的explicit 构造函数，而int 和size_t 是非常接近的类型。因此，不必为每个构造函数定义两个构造函数。我相信作者定义两个构造函数是有原因的，但我不知道为什么，这应该是我的第二个问题。不是关于 explicit 关键字做什么的一般问题。对不起。

Answer 1

我们能否仅在 explicit 关键字上重载方法

没有。

为什么我们需要重载的显式构造函数？

为了避免隐式转换。

假设Queue 被定义为：

class Queue {
  public:
    // No constructor with a size_t.
    Queue(int capacity) {}
  ...
};

这样，int 将在需要时隐式转换为 Queue。

void bar(Queue const& q) { ... }

bar(10); // This would be valid without the explicit keyword.
         // 10 will be implicitly converted to Queue(10).

有时这种隐式转换会导致代码难以理解和维护。 explicit 限定符用于避免此类隐式转换。

使用 explicit 限定符，您将需要使用

bar(Queue(10));

这更容易理解。

为什么它有一个带有size_t 参数的构造函数，然后是一个带有int 参数的explicit 构造函数，

我看不出有什么理由需要这两个重载——explicit 或不需要。如果这本书没有解释为什么需要它们，我们只能将其归咎于作者不够清晰。