Где в экземпляре примитивного ссылочного типа, например string, находится информация о том, что этот экземпляр — константа?

Question

[Cod Rob]

Имеется в виду то, что где в экземпляре примитивного ссылочного типа, например string, находится информация о том, что этот экземпляр - константа? Как и где хранится эта информация об экземпляре, а также где хранится информация, что этот экземпляр private, or public, or internal, or virtual(if we're talking about properties), or readonly?

Answer 1

[ayazer]

если поле константа - все использования этого поля будут заменены на значение константы в момент компиляции.

исходный пример:

class Program
    {
        static void Main(string[] args)
        {
            const int i1 = 10;
            var k1 = i1 + Func(i1);
            Console.WriteLine(k1);


            var i2 = 10;
            var k2 = i2 + Func(i2);
            Console.WriteLine(k2);
        }

        private static int Func(int i)
        {
            return i * 2;
        }
    }

результат декомпиляции:

internal class Program
  {
    private static void Main(string[] args)
    {
      Console.WriteLine(10 + Program.Func(10));
      int i = 10;
      Console.WriteLine(i + Program.Func(i));
    }

    private static int Func(int i)
    {
      return i * 2;
    }
  }

Comments

[Cod Rob]

Вопрос был о том, где в экземпляре примитивного типа, например ссылочного, находится информация о том, что этот экземпляр - константа.

[ayazer]

Денис Бредун, нигде, в момент компиляции они будет заменены на значения. Потому если где-то нарушаются модификаторы доступа - код не скомпилируется. Если код скомпилировался - нам уже не важно было написано

const i = 1;
 do(i);

или просто
do(1);

[Cod Rob]

ayazer, Тогда, как компилятор понимает, что нужно имя поля заменить на само значение?

[ayazer]

Денис Бредун, подозреваю что для ответа на этот вопрос мне нужно половину книги дракона пересказать. Так что просто сразу начать ее читать. Как минимум - первую половину (вся книга там порядка 1к страниц, но можно для начала на первых 300-400 остановится).

Answer 2

[freeExec]

Зачем хранить нам что она константа, если мы компилируем её так, что её не кто не меняет. А если кто-то пытается, то не компилируем.
Ну а вообще изучайте reflection, можете начать с этого https://docs.microsoft.com/ru-ru/dotnet/api/system...