typedef

const PersonRef person = NULL;

Jest

struct Person*const person= NULL;

Więc konstruujesz wskaźnik, a nie obiekt.

Chociaż problem jest już rozwiązany przez odpowiedzi powyżej, brakuje mi powodu...

Więc może z reguły:

1. const zawsze odnosi się do swojego poprzednika.
2. w przypadku, gdy nie ma takiego, to" konstruuje " zamiast tego token następcy.

Ta zasada może naprawdę pomóc w deklarowaniu wskaźnika do wskaźników const lub czegoś równie schludnego.

W każdym razie, mając to na uwadze, powinno być jasne dlaczego

struct Person *const person = NULL;

Deklaruje wskaźnik const do zmiennej struktury.

Pomyśl o tym, Twój typedef "grupy" struct Person z tokenem wskaźnika *. Do pisania

const PersonRef person = NULL;

Twój kompilator widzi coś takiego (pseudo-kod):

const [struct Person *]person = NULL;

Ponieważ nie ma nic do const's lewo, to deklaruje token do to jest prawo struct Person * stała.

Cóż, myślę, że to jest powód, dla którego nie lubię ukrywania wskaźników przez typedefs, podczas gdy Lubię typedefs jako takie. Co z pisaniem

typedef struct Person { ... } Person;
const Person *person; /*< const person */
Person *const pointer; /*< const pointer to mutable person */

I powinno być jasne dla kompilatorów i ludzi, co robisz.

Nigdy nie ukrywaj wskaźników za typedefami, jest to naprawdę zła praktyka i tworzy tylko błędy.

Jednym z takich niesławnych błędów jest to, że typ wskaźnika typedef:ed zadeklarowany jako const będzie traktowany jako "stały wskaźnik do stałych danych", a nie "stały wskaźnik do stałych danych", czego intuicyjnie się oczekuje. To właśnie dzieje się w twoim programie.

Rozwiązanie:

typedef struct
{
  int age;
} Person;

const Person* person = NULL; // non-constant pointer to constant Person

Dostajesz i błąd

error: assignment of read-only variable ‘person’

On statement

person = newPerson;

Ponieważ zadeklarowałeś osobę jako const, więc jej wartość jest tylko do odczytu .... wartość const nie może być zmieniona

Usuń słowo kluczowe const Twój kod będzie działał dobrze

Jako uzupełnienie (zaakceptowanej) odpowiedzi Piotra, można uniknąć GCC-specific typeof:

static_assert(std::is_same<const int *, std::add_const_t<std::remove_pointer_t<intptr>> *>::value, "not same via type_traits");
static_assert(std::is_same<const int *, std::remove_reference_t<decltype(std::as_const(*intptr()))>*>::value, "not same via decltype");

Zmieniając foo_t<T> na foo<T>::type powyżej i / lub używając wersji boost ' a, można to zrobić nawet w C++98, chociaż jest to tylko ładne od C++11.

Alternatywnie, użyj dwóch różnych typów, które działają również dla przypadków innych niż zwykłe wskaźniki. Na przykład, rozważmy typy kontenerów iterator i const_iterator.