Для начала, вам как программисту не нужно об этом беспокоиться. Конкретные детали реализации не так важны, важно лишь то, как код исполняется.
Фактически, судя по всему, (невиртуальные) методы создаются отдельно от объектов, во время компиляции, а возможность класса вызвать метод по имени определяется лишь таблицами видимости у компилятора. При этом в таблицы видимости производного класса компилятором включаются таблицы базового класса (чтобы гарантировать выполнение стандарта).
По виртуальным методам картинка чуть-чуть отличается. При компиляции вызова виртуального метода компилятор не знает, какой метод будет вызван фактически, поэтому вводится дополнительный уровень косвенности: таблица виртуальных методов. Каждому виртуальному методу соответствует индекс в таблице, а реальная таблица зависит от реального типа объекта (одна на тип), и привязывается к объекту во время выполнения конструктора.
С данными всё по-другому: наследование данных обозначает, что экземпляр объекта требует при создании память как для своих полей, так и для полей класса-предка. Этот размер, понятно, константа для каждого данного класса, и определяется во время компиляции.
Всё это в принципе лишь пример возможной реализации. Поскольку стандарт не требует конкретной реализации наследования, настоящая реализация может быть любой. Например, теоретически возможно «прикреплять» методы к объекту по именам в рантайме (наподобие того, как это делает ExpandoObject
).