Например указатель на объект одного типа иногда легко привести к указателю на объект другого типа. И шаловливые программистские ручонки и головенки могут этой возможностью воспользоваться. Последствия могут быть очень нехорошими - в зависимости от степени шаловливости. Или указатель можно инкрементировать декрементировать и т.п. Тем самым получив доступ к другому объекту. Последствия тоже могут быть не очень. Со ссылками такие фокусы как минимум затруднены. Грубо говоря, изменненный по сравнению с указателем синтаксис заставляет программера с ней работает как с переменной, а не как с адресом переменной. Т.е. получить доступ к другим переменным по одной ссылке программер легко не могет. Он имеет доступ только к той переменной, на которую ссылка. Таким образом ошибки программера по крайней мере не испортят другие переменные, лежащие в памяти рядом с той, на которую ссылка. Огромадная польза от этого могет быть. Я так думаю, что фобос-грунт наипнулся из-за ошибок какого-нибудь программера.