enable_if 与类成员函数的返回类型

Question

我正在尝试一种基于类模板参数专门化成员函数的方法，而不必在类上使用 SFINAE（并导致代码重复或创建另一个类）。

由于两个模板参数不能是可选的，并且参数enable_if在指导方针中不受欢迎，所以我尝试了（剩余的）以下两种方式：

template <bool boolean = true>
struct sample {
    constexpr typename std::enable_if<boolean, int>::type bool_check_return(
        int s) const noexcept {
        return s + 1;
    }
    constexpr typename std::enable_if<!boolean, int>::type bool_check_return(
        int s) const noexcept {
        return s;
    }

    template <typename std::enable_if<boolean, int>::type = 0>
    int bool_check_template(
        int s) const noexcept {
        return s + 1;
    }
    template <typename std::enable_if<!boolean, int>::type = 0>
    int bool_check_template(
        int s) const noexcept {
        return s;
    }
};

Godbolt 链接

乍一看，我似乎不明白为什么返回类型 SFINAE 会给出以下关于“重载不适用于仅返回类型不同的函数”的错误。SFINAE 应该确保只有一份副本，而不是两份。

我在不知不觉中违反了标准的哪一部分？或者这是一个编译器错误？实际上，这在 C++17 中不会成为问题if constexpr（并且由于一种形式有效，我可以简单地选择那种形式）。

这个错误出现在 C++11 到 C++17 中，这使得编译器在这方面出错的可能性很小。

error: functions that differ only in their return type cannot be overloaded
    constexpr typename std::enable_if<!boolean, int>::type bool_check_return(
              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^
note: previous definition is here
    constexpr typename std::enable_if<boolean, int>::type bool_check_return(
              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^
1 error generated.

Answer 1

这里不涉及 SFINAE，因为bool_check_return它们本身不是模板。它们只是常规的重载函数，仅在返回类型上有所不同。将它们制作为模板可以通过仅允许其中之一来解决问题：

template<bool enabled = boolean>
constexpr typename std::enable_if<enabled, int>::type bool_check_return(
    int s) const noexcept {
    return s + 1;
}

template<bool enabled = boolean>
constexpr typename std::enable_if<not enabled, int>::type bool_check_return(
    int s) const noexcept {
    return s;
}