Почему с отладкой нет ошибки, а без отладки есть?

Question

[Даниил]

struct tS : IDsposable{
  int[]arr;
  public tS(){
    arr = new int[1000000];
     handle =GCHandle.Alloc(reg,GCHandleType.Pinned); 
      }
}
class Test{  Ts*ts;
  unsafe public Test(ref tS t)
  { 
      /// можно ли как-то без fixed  
      fixed(TestStruct*ptrT = &t){ 
          tS = ptrT; 
      }
  }}
//...............
 Test tt = new Test( ref tStruct); // 
// fun запускает  там бессмысленные вычисления и вызывает  сборки мусора(но и без сборок мусора те же ошибки), которая работает с tS.arr в какой момент tS.arr становится равным нулю? 
 for(int i=0;i<1000;i++)
           fun(  tt)
   return;
 // fun - локальная функция в конце метода. 
//(может в ней все дело, исправил на обычную, и там уже другие ошибки)
   void fun(){.... }

В чем дело. Почему в откладке все работает, без откладки ошибка сразу же.
И не знаю где, в смысле знаю, но когда. Почему поле
в Test.tS.arr == null в какой-то момент почему?
Но самый главный вопрос, почему в откладке я не ловлю ошибку

Comments

[Василий Банников]

А какая ошибка?
Вообще код выглядит очень подозрительно

[Даниил]

Василий Банников, поле Test.tS.arr становится равным нулю само по себе. И только без откладки и то не всегда.
Я исправил передачу в функцию на Struct* вместо ref Struct. Не понимаю. почему адрес меняется.
Почему структура съезжает с стека, типа же она же на стеки инициализируется. но она точно съезжает, куда-то.

[Александр Ананьев]

Даниил, можно какой-то минимальный код, который поможет воспроизвести проблему у себя на компьютере?

[Сергей Водаков]

tS, Ts*ts, tS t, tt - такое именование используют в аду, в отделе для пыток грешных кодеров.
Наведите порядок с именами, и код станет понятнее, в первую очередь вам самому.

[Василий Банников]

Даниил, а что ты хочешь в результате получить? Можешь поправить форматирование с неймингом и сделать пример, который хотябы запускается?

[Kano]

Что мешает использовать ref структуры? Вместо класса Test можно использовать ref struct Test с полем ref tS ts

[Даниил]

Сергей Водаков, это код примера. а не кода. Который вообще написан в форме тостера. Что бы как раз и рассмотреть эту ситуацию.

Answer 1

[Василий Банников]

fixed(TestStruct*ptrT = &t){ 
          tS = ptrT; 
      }

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

В твоём случае я вообще не вижу необходимости в хранении указателей на структуру и в unsafe вообще- ты можешь просто копировать её, тк она не очень большая.

Comments

[Даниил]

А что если t на самом низу стека, как первая переменная в программе, она в памяти зафиксирована там, или нет гарантии?
Вот этот момент хочу уловить, стек может как-то уехать .

Answer 2

[Роман]

1. fixed закрепляет переменную только в своем блоке это раз. Зачем закреплять ссылку на стек? fixed служит для закрепления объектов, от перемещения сборщиком мусора. Тем более как выше сказали, со стеком работать по ссылкам, себе дороже.

2. Ну скорее всего, в режиме отладки пропускаются какие то оптимизации JIT`а или сборщик работает иначе.

3. зачем выделять память через GCHandle.Alloc? Массив передается в неуправляемый код в стороннюю библиотеку? Это сделано именно для этого.

Как в примере, тут и без всего этого обойтись можно.