c++ - 如何在此特定函数声明中正确使用 enable_if？

Question

我有一个类定义为:

template <typename V, typename E>
class AdjacencyList;

其中 V 和 E 分别是顶点和边值的类型。

我目前正在尝试在 AdjacencyList 中定义以下成员函数:

std::map< std::shared_ptr< Vertex<V, E> >, E > dijkstra(
    const std::shared_ptr< Vertex<V, E> > &start_vertex) const;

对于熟悉Dijkstra算法的人来说，只有E是可加的非负类型才有可能正确实现。因此，如果 E 是无符号整数类型，我该如何正确使用 enable_if 构造来启用此函数？

我目前看到这里有两个并发症，我不太愿意接近:

1. 返回类型和参数都涉及E。
2. E本身不作为类型使用，而是在其他类型模板中使用。

因为我对 enable_if 结构比较陌生，所以我会更愿意接受关于这个问题的一些指导，因为这是一个相对重要的案例。

Answer 1

这实际上不是您想要做的。

std::enable_if 的要点是导致模板替换失败。你想要替换失败的原因是因为它不是失败，你可以选择不同的重载。但是，这里没有意义，因为您不是在尝试选择不同的重载，您只是在尝试使其失败。

所以，你应该做这样的事情:

std::map< std::shared_ptr< Vertex<V, E> >, E > dijkstra(
    const std::shared_ptr< Vertex<V, E> > &start_vertex) const {
    static_assert(
        std::is_unsigned<E>::value,
        "E must be unsigned.");
}

如果您尝试使用错误类型的参数调用此函数，您会得到一个很好的编译时错误，告诉您 E 必须是可加的且非负的。如果您改为使用 enable_if，则会收到一个错误，指出所有重载均无效，这是一个信息量较少的错误。

不过，这可能是一个糟糕的设计。通常，如果遇到负值，您只会抛出异常。选择强制输入为正也是不完整的，因为如果遇到溢出，算法也会失败。

(如果您真的想执行 enable_if，即使这是个坏主意，您也可以……)

std::enable_if<std::is_unsigned<E>,
               std::map<std::shared_ptr<Vertex<V, E>>, E>::type dijkstra...

如果你真的想这样编程

C++ 是这种类型的编程的错误语言，并且敲打 C++ 直到它以这种方式工作将导致一些非常奇怪的 C++ 代码。听起来您真的想在 Agda 中编写代码。