Здравствуйте, Аноним, Вы писали:
А>Реализовать GC не проблема библиотекой, проблема только в том что очень много соглашений о которых нужно помнить и нужно им следовать.
Есть такое. Но при разработке в С++ при любом подходе есть очень много соглашений. В частности при использовании shared_ptr. Сейчас в первом приближении эта система совершенно никак не защищена, но над этим нужно просто поработать.
А>А что бы все было прозрачно для пользования нужно его делать на уровне языка, что бы и базовые типы были managed по необходимости конечно типа опцией компилера или сделать блоки кода __managed{ int i=0; i++; }; __unmanaged{ int j=0; j++; }; Вот тогда будет
Спорно ИМХО. Это какие-то сильно конкретные частности. Сахара бы хотелось, но более обобщённого

Например, сильно угнетает, что нужно много писать:
P<MyClass
> p = gc_new
<MySuperClass>();
Хотелось бы:
MyClass^ p = gc_new MySuperClass();
И т.п. вещи.