Я смотрел сообщения по форому — но так и не смог доразобраться с вопросом.

Мне надо внутри структуры B иметь массив из указателей на на другие структуры A, но чтобы эти указатели можно было использовать только для чтения структур А.

A * const arr[3]; — вообще не то — указатели должны указывать все время в одно и то же место.

const A * arr[3]; — arr — массив из трех указателей на структуры А, хранящиюся в константной области памяти (в моем случае это не так, исходные структуры лежат вовсе не в константной области, и другими способами их можно изменять. Я хочу только, чтобы с помощью именно этого указателя структуру, на которую он указывает, было бы нельзя изменить.)

В общем, есть ли такой тип — указатель, предназначенный только для чтения? (То есть, чтобы компилятор следил за его таким использованием, и ругался при попытке изменения).

...пока писал вопрос, уже решил, что видимо нет, но все же буду благодарен за подтверждение.