Рефлексия в C++Next на практике

Забыли самую старую и продуманую рефлексию - в Object Pascal (Delphi RTTI). Она появилась еще даже до появления Java, не говоря уже о Питоне. Очень многие вещи пошли оттуда.

Спасибо, очень интересная статья, есть о чём подумать.

Такой вопрос. Нам в рабочем проекте приходится в автоматическом режиме перегонять код C# в C++, рефлексию приходится генерировать с нуля, но это довольно плохо работает - например, нет способа проинстанциировать шаблонный тип в компайл-тайме на основе данных рефлексии. Допустим, следующий код не имеет шансов быть переведённым на C++ (хотя бы потому, что в качестве типа переменной list не понятно, что использоать, - не void* же):

using System;
using System.Collections.Generic;
using System.Reflection;

class Program
{
  static void Main(string[] args)
  {
    var boolListType = typeof(List<bool>);

    Console.Write("Enter System type name: ");
    string argument = Console.ReadLine();
    var argumentType = Type.GetType("System." + argument);

    var genericList = boolListType.GetGenericTypeDefinition();
    var requiredListType = genericList.MakeGenericType(argumentType);
    var list = Activator.CreateInstance(requiredListType);
    Console.WriteLine("Created instance of " + requiredListType.FullName);

    if (list is List<string> ls)
      Console.WriteLine("list is List<string>");
    else if (list is List<int> li)
      Console.WriteLine("list is List<int>");
    else if (list is List<Type> lt)
      Console.WriteLine("list is List<Type>");
    else
      Console.WriteLine("list is List<Something>");
  }
}

Я правильно понимаю, что через описанную в статье красоту нам в ближайшие дцать лет всё равно ничего такого не светит? Или будет какая-то подсистема, позволяющая не только анализировать типы в компайл-тайме, но и буквально составлять новые типы в рантайме?

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

Статическая рефлексия в том виде, что её предлагают тоже избыточна, пример с узнаваниями названий из enum, такая библиотека уже есть и написана она на обычном С++ без всякой рефлексии, называется magic enum.
Насчёт сериализации - таки тоже уже есть, вот пример библиотеки для бинарной сериализации, где описанием формата является тип из С++ единственное что нужно написать программисту чтобы его тип стал поддерживаться - using enable_magic = std::true_type;
Плюс всяческие алгоритмы работы с таким типом как с туплом и общие алгоритмы типа tuple cat / construct from tuple и прочие
https://github.com/kelbon/UndefinedBehavior_GoldEdition/blob/master/include/kelbon_serialization.ixx

Статья интересная. Спасибо.

Но, объективно, C++ уже не суждено стать языком общего назначения. Для Spring уже есть Spring Native. С этой самой рефлексией в нативном коде без таких сложностей.

Есть "забавный" самописный проект с++20 компилятора с рефлексией https://www.circle-lang.org/

По чему в комтете отвергают '@' ведь это ни с чем не спутаешь и сразу понятно о чём речь.

Фронту парсить @ проще чем нагромождение [:^:], я думаю это гораздо эффективне. А то всё это напоминает триграфы которые по моему ни кто не использовал и ни разу не видел.

Можно ли, используя эту рефлексию, реализовать примерно такое?

int a = 5;
print("a = {a}");

Чтобы функция вытащила строку между фигурными скобками, и использовала как переданную переменную a? Или как ссылку на локальную переменную из функции, из которой вызывают.

Это было бы достаточно жестко, если бы функция через рефлексию могла получить доступ к контексту, из которого ее вызывают. Как-то так:

template for (auto var : meta::calledFrom().variables())
{
    if (var.name == "a"){
        std::cout << [: var.getConstReference() :];
        break;
    }
}

Где бы вместо "a" мы взяли бы подстроку из фигурных скобок в "a = {a}". Это было бы очень мощно!