Можете пояснити, що саме ви збираєтеся робити? Можете навести приклад коду, в якому вам потрібен цей аналог замість звичайного sizeof?
Реалізацію можете подивитися у вихідному коді компілятора, але навіщо? Що саме не зрозуміло з його роботою?

sizeof насправді вбудований досить глибоко в структуру мови. C++ активно покладається на арифметику вказівників, і неможливо знайти наступний елемент масиву без sizeof. Нащо його змінювати чи перевизначати?

В загальному випадку - ні.

Подивитися, напевно, так, як ви собі уявили не можна.

Ем, що?
В статично типізованій мові не буває об'єкта без типу, а раз так, то достатньо знати розміру типу на етапі компіляції.
Якщо у вас об'єкт невідомого типу, і ви посилаєтеся на нього, наприклад через void-вказівник, то ніяк ви його розмір не визначите.

Який "дескрайбер"? Навіщо?

"Класичний" sizeof - конструкція часу компіляції. Компілятор знає розмір кожного типу. Звідси sizeof і знає, "скільки пам'яті займає об'єкт". Компілятор знає, що тип int має розмір 4. Тому sizeof(int) дає 4.

Все доволі просто.

Ні, під час компіляції складається таблиця символів програми, і там записано, що такий-то ідентифікатор - це int, а int має фіксований розмір.

А яким чином, вибачте, ви можете отримати розмір змінної під час виконання не таким, як під час компіляції?
От, власне, чому програмістам треба хоча б базове уявлення про асемблер мати - тоді такі питання просто не виникають.

mimik, що саме намагаєтесь зробити? Приведіть шматочок коду для прикладу, бо геть не зрозуміло що потрібно зробити.

Все вірно, ніяких таблиць з інформацією про розміри типів на етапі виконання не існує. На етапі виконання вже всюди фігурують тільки константи дбайливо підставлені компілятором в усі потрібні інструкції на етапі компіляції.

Уточню, бо це вочевидь потрібно. Інструменти нагуглив у два запити, можливо, є й зручніші.
Отже, процесор виконує байт-код. Приклад можете глянути тут: https://onlinedisassembler.com/odaweb/ - ліворуч шістнадцятковий запис байт-коду, праворуч - цей же код мовою асемблера.
https://godbolt.org/z/xhMEzj - перетворення коду на C++ в асемблер. Нас цікавлять лише 16 перших рядків: спершу - дані, потім - функція (далі іде код функції ostream::operator <<). Асемблерний код перетворюється на байт-код 1:1, тобто кожній інструкції відповідає конкретна послідовність байтів. І змінній a, яка в асемблері записується як

a:
        .long   5

буде відповідати послідовність байтів (шістнадцятковий запис)

05 00 00 00

4 байти - це і є розмір змінної. Коли ця змінна буде прочитана, то компілятор підставить відповідну операцію:

mov     eax, DWORD PTR a[rip]

І .long, і DWORD - це якраз про 4 байти; але на момент виконання буде точно відомо, скільки саме байтів і звідки треба прочитати.
Можете задля цікавості спробувати скомпілювати код із sizeof і переконатися, що в асемблері там буде число, а не операція.

Якщо вже на те пішло, то таблиці символів можуть бути збережені окремо і використовуватися при зневадженні.
Але, звісно, програма чудово працює і без цих таблиць.