SFINAE 不适用于 constexpr 函数？

Question

为了支持可移植性，我想根据 size_t 是 32 位还是 64 位这一事实来选择一个常量。 代码：

using namespace std;

namespace detail {
    template<enable_if<is_same<size_t, uint32_t>::value,void*>::type = nullptr>
    constexpr static const size_t defaultSizeHelper() {
        return ( (size_t) 1 << 30 ) / 2 * 5; //2,5 Gb
    }
    template<enable_if<is_same<size_t, uint64_t>::value,void*>::type = nullptr>
    constexpr size_t defaultSizeHelper() {
        return numeric_limits<size_t>::max() / 2;
    }
}

constexpr static size_t defaultSize = detail::defaultSizeHelper();

由于error: 'std::enable_if<false, void*>::type' has not been declared. template<enable_if<is_same<size_t, uint64_t>::value,void*>::type = nullptr>，此代码无法编译

编译器 - GCC 4.9

在我看来，编译器没有将 SFINAE 原则应用于constexpr。那我该怎么办？

Answer 1

SFINAE 背后的原理是，如果替换推导的模板参数导致代码格式错误，则从重载决议集中删除该函数模板，而不是导致硬错误。

在您的情况下，没有推导出模板参数或替换一个，因此您最终会出现编译错误。你只需要

constexpr static size_t defaultSize = is_same<size_t, uint32_t>::value 
                                        ? (( (size_t) 1 << 30 ) / 2 * 5)
                                        : numeric_limits<size_t>::max() / 2;

---

出于好奇，如果你想使用 SFINAE，你可以这样做

namespace detail {
    template<typename T, typename enable_if<is_same<T, uint32_t>::value,void*>::type = nullptr>
    constexpr static const T defaultSizeHelper(T) {
        return ( (size_t) 1 << 30 ) / 2 * 5; //2,5 Gb
    }
    template<typename T, typename enable_if<is_same<T, uint64_t>::value,void*>::type = nullptr>
    constexpr T defaultSizeHelper(T) {
        return numeric_limits<size_t>::max() / 2;
    }
}

constexpr static size_t defaultSize = detail::defaultSizeHelper(size_t{});

Answer 2

问题

SFINAE代表替换失败不是错误。

您的两个模板在实例化期间都不会失败，而是其中一个会在编译器查看它的第二秒失败（因为它会看到 enable_ifs 不依赖于模板参数，并尝试直接展开它们）。

---

解决方案

解决方案是让检查依赖于一些模板参数，这样编译器就只能在潜在的实例化时检查条件。

在您的情况下，最简单的解决方案是简单地提供一个默认模板参数，这是您要检查的类型（下面的T）。

using namespace std;

namespace detail {
    template<class T = uint32_t, typename enable_if<is_same<size_t, T>::value,void*>::type = nullptr>
    constexpr static const size_t defaultSizeHelper() {
        return ( (size_t) 1 << 30 ) / 2 * 5; //2,5 Gb
    }

    template<class T = uint64_t, typename enable_if<is_same<size_t, T>::value,void*>::type = nullptr>
    constexpr size_t defaultSizeHelper() {
        return numeric_limits<size_t>::max() / 2;
    }
}

constexpr static size_t defaultSize = detail::defaultSizeHelper();

_{注意：另一种解决方案是将两个函数合并为一个，并使用ternary-operator 来返回一个表达式的结果或另一个。} .

_{注意：既然检查依赖于模板参数，请确保您了解为什么需要使用typename 来消除启用 if 的歧义。更多信息请参见this answer。}