ну function и variant слишком разные, чтобы использовать общий термин

когда там уже завезут универсальный TE враппер, для которого просто описываешь требуемые операции и радуешься?

нужен специально обученный абстрактным областям математики разработчик на функциональных языках который скажет какой термин будет правильным в данном случае

variant это тип-сумма

void* :D

union тоже

В бусте есть. =)
Кажется много где еще есть такое.

А как в бусте зовется?

я видел разные реализации, но все они чересчур многословны или неочевидны

type erasure =)

Бустовый type erasure я использовал чтобы получить any с какой-то одной дополнительной операцией. Кажется это было сравнение. Реализация была в виде одного typedef'а на несколько строк.

Вот пример из доки:

any<
    mpl::vector<
        copy_constructible<>,
        typeid_<>,
        incrementable<>,
        ostreamable<>
    >
> x(10);
++x;
std::cout << x << std::endl; // prints 11

any<
    mpl::vector<
        copy_constructible<>,
        typeid_<>,
        incrementable<>,
        ostreamable<>
    >
> x(10);
++x;
std::cout << x << std::endl; // prints 11

ну это не то =)
а если мне нужно какое-то кастомное свойство? как его описывать?

кажется кто-то хочет dynamic dispatch из раста )

Этого я не делал, но наверняка у них есть решение.

Не совсем. Dynamic dispatch это почти обычные виртуальные функции из плюсов. Да с его помощью можно реализовать что-то вроде any в виде Box<dyn AnyTrait>. У раста здесь есть преимущство в том, что можно реализовать свой трейт для чужого типа или чужой трейт для своего типа. Но это не будет работать, если и тип и трейт чужие.

мне понравилось решение отсюда:

описываем type-erasure интерфейс того, что хотим иметь в нашем any (здесь - метод void draw(std::ostream&) const)

struct any_drawable : te::poly<any_drawable> {
  using te::poly<any_drawable>::poly;

  // интерфейс нашего any (на тело можно не смотреть)
  void draw(std::ostream &out) const {
    te::call([](auto const &self, auto &out) { self.draw(out); }, *this, out);
  }
};

пишем любой класс, который удовлетворяет этому интерфейсу:
struct Circle { void draw(std::ostream& os) const { os << "circle"; } };

и всё:
any_drawable foo = Circle{};
foo.draw(std::cout);

трейты раста лучше реализованы тут, я думаю - https://github.com/ldionne/dyno

struct any_drawable : te::poly<any_drawable> {
  using te::poly<any_drawable>::poly;

  // интерфейс нашего any (на тело можно не смотреть)
  void draw(std::ostream &out) const {
    te::call([](auto const &self, auto &out) { self.draw(out); }, *this, out);
  }
};

Если верить документации, в бусте это записывается чуть короче, но с макросами (код не проверял):

BOOST_TYPE_ERASURE_MEMBER(draw)

using any_drawable = any<
    mpl::vector<
        copy_constructible<>,
        has_draw<void(std::ostream&)>
    >
>;

any_drawable foo(Circle{});
foo.draw();

BOOST_TYPE_ERASURE_MEMBER(draw)

using any_drawable = any<
    mpl::vector<
        copy_constructible<>,
        has_draw<void(std::ostream&)>
    >
>;

any_drawable foo(Circle{});
foo.draw();

выглядит неплохо.
а на строчке foo.draw() автокомплит не сойдёт с ума, если попытаться показать список членов объекта foo?