get_if для variant как метод класса

C++ устарел, используйте Rust

а пацаны то не в курсе!

Очень неудобно, что фактически все методы - глобальные

Так это и в C++17 так.

Или проще тупо враппер сделать?

Вокруг чего вы собрались wrapper делать? Вокруг variant-а?

А почему не использовать 17-ю версию?

используйте Rust

Во говна.

Потому, что недоступна. И её использование мне не поможет.

Я знаю. И мне это дико неудобно.

И мне это дико неудобно.

Это дело привычки. Тем более, что такие либы эмулируют стандарт для старых компиляторов.

Так вокруг чего вы хотите враппер создать?

Вокруг variant, чтобы методы были частью класса, а не глобальными.

Тогда вам нужно будет делать наследование от этого variant-а. А что там с шаблонами страшного? Вроде как все должно быть более менее тривиально:

template<typename... Types>
class my_variant : public third_party::variant<Types...> {
... 
  using base_type = third_party::variant<Types...>;
public:
  using base_type::base_type;

  template<typename T>
  auto get_if() noexcept { return third_party::get_if<T>(this); }
  ...
};

PS. С расположением многоточий мог напутать.

На удивление просто. Спасибо. Я себе это совсем по-другому представлял.

Ну вы попробуйте, это же набросок, может там какие-то подводные камни встретятся.

Основной геморрой о работе с типами (для соответствия поведению, указанному в стандарте), thirdparty::variant всё равно берет на себя, поэтому можно ограничится простым вариадик темплейтом, как eao197 прописал, а все эти decay и прочее SFINAE останутся бременем самого верианта.

Однако! Неспроста variant в шаблоне приведенного конструктора проверяет подаваемый тип на variant и «выключается» при совпадении - иначе можно «не попасть» в настоящий конструктор копирования и перемещения. Это особенно стремно для any, где автоматическая генерация подобного конструктора без проверки привела бы к рекурсии.

Вобщем я вот о чем - _наследоваться_ от варианта и наследовать так же его конструкторы может быть не очень хорошая идея. Я бы заменил здесь наследование на более безопасное, но менее удобное делегирование.

Вопрос в том, как добавить в эту либу get_if (и holds_alternative) как методы класса?

Функции типа get<T>() реализованны в виде свободных, а не методов, потому что вызов таких методов в шаблонном контексте требует специального синтаксиса:

template <typename T>
auto some_foo(mpark::variant<int, double, OtherType> const & v)
{
    v.template get_if<T>(v);  // нужно писать template
    mpark::get_if<T>(v);      // не нужно писать template
}

Почему так сделано я знаю. Но это не удобно.