Здравствуйте, vopl, Вы писали:

V> компилируется? Если да — значит тип результата archive_type::save не зависит от состава nonserializable_type.

думаю, ты ошибаешься... или я...

тут:

template<typename>
struct sfinae_true: std::true_type{};

template<typename Ar, typename T>
static auto test_serializable(int) -> sfinae_true<decltype(std::declval<Ar>().save(std::declval<T>()))>;

— не важно какой- тип вернет decltype(), важно лишь — чтоб expression был валидным...

Здравствуйте, vopl, Вы писали:

V> компилируется? Если да — значит тип результата archive_type::save не зависит от состава nonserializable_type.

думаю, ты ошибаешься... или я...

тут:

template<typename>
struct sfinae_true: std::true_type{};

template<typename Ar, typename T>
static auto test_serializable(int) -> sfinae_true<decltype(std::declval<Ar>().save(std::declval<T>()))>;

— не важно какой тип вернет decltype(), важно лишь — чтоб expression был валидным...