C++11 函数模板特化为类方法(如果存在)

Question

我有这个函数模板:

template <class T>
Json::Value write_json(const T& object);

当 T 是一个 int 时，特化很简单:

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

但是，对于更复杂的类，我希望它调用存在的方法:

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)  {
    object.write_json();
};

例如，对于 foo 类:

Json::Value foo::write_json(void) { 
  Json::Value output;
  output = 42;
  return output;
};

我想像这样调用每个类:

int x_int;
write_json(x_int);
foo x_foo;
write_json(x_foo);

但是，我得到了:

error: call of overloaded 'write_json(const foo&)' is ambiguous

我怎样才能消除这种歧义？

Answer 1

你应该申请SFINAE在另一个重载上也是如此，以避免当类型 T 具有方法 write_json 时出现歧义。

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

LIVE