c++ - 如果元组足够大，使用 SFINAE 启用方法

Question

我有一个包含元组的类:

template <typename ... Args>
struct Point {
    std::tuple<Args...> data;
    ... 
};

在内部，我需要一些创建数据 View 的方法。例如，当数据具有一维或多维时，最好使用名为 x 的方法。和 y拉出第一个和第二个元素:

template <typename ... Args>
struct Point {

    std::tuple<Args...> data;

    using value_type = decltype(data);

    template<typename T = typename std::tuple_element<0, value_type>::type>
    T &x() {
        return std::get<0>(data);
    }

    template<typename T = typename std::tuple_element<1, value_type>::type>
    T &y() {
        return std::get<1>(data);
    }
};

问题是元组大小。当元组大小小于访问器时，我无法弄清楚如何使用 SFINAE 不提供此方法。例如，如果您创建多于 1 维的点(例如 Point<float,int> )，则上述类可以很好地工作。但是，如果您尝试创建 Point<float>，代码将无法编译。 .具体来说，对于 GCC 8.2，我收到编译器错误:

no type named 'type' in 'struct std::tuple_element<1, std::tuple<float> >'

我也试过这样的成语:

auto y() -> typename std::tuple_element<1, value_type>::type {
    return std::get<1>(data);
}

但我得到了同样的编译器错误。

Answer 1

SFINAE 中的“S”代表“替换”。因此，您需要确保您的检查发生在替换时间。您可以通过引入一个默认为 value_type 的额外模板参数来做到这一点:

template<typename U = value_type, typename T = typename std::tuple_element<0, U>::type>
T &x() {
    return std::get<0>(data);
}

template<typename U = value_type, typename T = typename std::tuple_element<1, U>::type>
T &y() {
    return std::get<1>(data);
}

live example on godbolt.org