std::vector 的 std:array 的 SFINAE 不能在 C++11 中编译

如何解决std::vector 的 std:array 的 SFINAE 不能在 C++11 中编译

我使用以下方法以json格式编写对象：

#include <array>
#include <vector>
#include <jsoncpp/json/json.h>

//// Write json SFINAE
template <typename T>
struct has_write_json_method {
    template <typename U>
    static constexpr decltype(std::declval<U>().write_json(),bool()) test(int) { return true; };

    template <typename U>
    static constexpr bool test(...) { return false; }

    static constexpr bool value = test<T>(int());
};

template <class T>
typename std::enable_if<has_write_json_method<T>::value,Json::Value>::type write_json(const T& object) { return object.write_json(); };

template <class T>
typename std::enable_if<!has_write_json_method<T>::value,Json::Value>::type write_json(const T& object);

//// Write json vector
template <class T>
Json::Value write_json(const std::vector<T>& object_v) {
    Json::Value output;
    for (int i = 0; i < object_v.size(); ++i) { output[i] = write_json<T>(object_v.at(i)); };
    return output;
};

//// Write json array
template <class T,std::size_t N>
Json::Value write_json(const std::array<T,N>& object_v) {
    Json::Value output;
    for (int i = 0; i < object_v.size(); ++i) { output[i] = write_json<T>(object_v.at(i)); };
    return output;
};

//// Write json basic
template <class T>
Json::Value write_json_basic(const T& object) {
    Json::Value output;
    output = object;
    return output;
};

template<>
Json::Value write_json<Json::Value>(const Json::Value& object) { return write_json_basic(object); };

template<>
Json::Value write_json<double>(const double& object) { return write_json_basic(object); };

但是，当我尝试编写 std::array 的 std::vector 时：

std::array<std::vector<double>,4> foo_av;
Json::Value output = write_json(foo_av);

它不能在 C++11 中编译：

undefined reference to `std::enable_if<!has_write_json_method<std::vector<double,std::allocator<double> > >::value,Json::Value>::type write_json<std::vector<double,std::allocator<double> > >(std::vector<double,std::allocator<double> > const&)'

更新

使用 std::string 而不是 Json::value 的可重现示例：

#include <array>
#include <vector>
#include <string>

//// Write string SFINAE
template <typename T>
struct has_write_string_method {
    template <typename U>
    static constexpr decltype(std::declval<U>().write_string(),bool()) test(int) { return true; };

    template <typename U>
    static constexpr bool test(...) { return false; }

    static constexpr bool value = test<T>(int());
};

template <class T>
typename std::enable_if<has_write_string_method<T>::value,std::string>::type write_string(const T& object) { return object.write_string(); };

template <class T>
typename std::enable_if<!has_write_string_method<T>::value,std::string>::type write_string(const T& object);

//// Write string vector
template <class T>
std::string write_string(const std::vector<T>& object_v) {
    std::string output;
    for (int i = 0; i < object_v.size(); ++i) { output += write_string<T>(object_v.at(i)); };
    return output;
};

//// Write string array
template <class T,std::size_t N>
std::string write_string(const std::array<T,N>& object_v) {
    std::string output;
    for (int i = 0; i < object_v.size(); ++i) { output += write_string<T>(object_v.at(i)); };
    return output;
};

//// Write string basic
template <class T>
std::string write_string_basic(const T& object) {
    std::string output;
    output = object;
    return output;
};

template<>
std::string write_string<double>(const double& object) { return write_string_basic(object); };


int main () {
    std::array<std::vector<double>,4> foo_av;
    std::string output = write_string(foo_av);
    
    return 0;
}

使用 Godbolt.org 编译，在 x86-64 gcc 10.2 下失败：

/opt/compiler-explorer/gcc-10.2.0/bin/../lib/gcc/x86_64-linux-gnu/10.2.0/../../../../x86_64-linux-gnu/bin/ld: /tmp/ccAR3MdL.o: in function `std::__cxx11::basic_string<char,std::char_traits<char>,std::allocator<char> > write_string<std::vector<double,std::allocator<double> >,4ul>(std::array<std::vector<double,4ul> const&)':
/home/ce/<source>:35: undefined reference to `std::enable_if<!has_write_string_method<std::vector<double,std::__cxx11::basic_string<char,std::allocator<char> > >::type write_string<std::vector<double,std::allocator<double> > const&)'
collect2: error: ld returned 1 exit status

解决方法

这是因为您将 T 发送到写入字符串方法，但您传递的参数与 T 不匹配：

for (int i = 0; i < object_v.size(); ++i) {
    //        here --------v 
    output += write_string<T>(object_v.at(i));
}

这里您发送的 T 是正确的 std::vector<double>，但没有 write_string<std::vector<double>>() 带有 std::vector<double>。

您打算让编译器选择此函数：

template <class T>
std::string write_string(const std::vector<T>& object_v) {
    // ...
};

但它不匹配。你看，这里的 T 是向量的模板参数。因此，write_string<std::vector<T>> 收到 std::vector<std::vector<T>>。

你能做些什么来解决这个问题？解决方案是让编译器推断参数，而不是专门化函数和重载：

for (int i = 0; i < object_v.size(); ++i) {
    // no template args --v 
    output += write_string(object_v.at(i));
}

Live example