Царям сишки

Пользуясь случаем, хочу спросить, какого типа в Си выражение *ptr. Например:

my_type x;
my_type *p = &x;

*p /* <-- какой тип? */

В C++ понятно какой - my_type &, ссылка то есть. Но в Си ссылок нет. Вот туплю сижу.

my_type

Не, тогда бы мы с копией данных работали, ведь в Си семантика значений.

my_type foo();

foo(); /* вот тут тип my_type, но мы при изменении изменять будем копию */

По сути, мы никак сами не можем в языке выразить саму операцию разыменования, т.к. мы не сможем описать тип возвращаемого значения.

Я ответил. Как знаешь

Ну так ответ неверный. Если бы в си была семантика ссылок, как почти везде, то да. В общем проблема в том, что в языке си есть операции, которые нельзя описать псевдофункцией. В C++ - можно, а в си - нет. Меня это беспокоит.

my_type foo()
my_type & bar()

А ведь я всегда считал, что си более целостен, чем кресты. Вот ведь отстой-то.

6.5.3.2 Address and indirection operators
...
The unary* operator denotes indirection. If the operand points to a function, the result is a function designator; if it points to an object, the result is an lvalue designating the object. If the operand has type ‘‘pointer to type’’, the result has type ‘‘type’’
...

http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf

C++

struct my_ptr { int * p; };
...

int & deref(my_ptr p) { return *p; }

...

deref(x) = 10; // ok

C

struct my_ptr { int * p; };
...

/* Что мне тут написать??? */ deref(my_ptr p) { return *p; }

Если я напишу int, то потом не смогу модифицировать исходный объект - я буду модифицировать его копию.

Да это-то понятно... Но смотри пример выше.

Блин, там, конечно retrun *x.p

Слишком много опечаток

struct my_ptr { int * p; };
...

int & deref(my_ptr ptr) { return *ptr.p; }

...

deref(x) = 10; // ok

В общем совершенно неясно, что делать на си. Макрос сделать можно, безусловно, но это совсем другая история.

Да, си отстой в плане концептуальном, но как тебя это беспокоит на практике?

Но в Си ссылок нет. Вот туплю сижу.

*p /* <-- какой тип? */

в данном случае тип my_type

Hint:

typedef int my_type;
my_type x;
my_type* p = &x;

*p; /* int */

Меня это беспокоит.

убейся.

Покажи, какой тип должен возвращать deref в примере выше.

Царям сишки (комментарий)

Если deref будет возвращать int, то он не будет работать. Ну не присвоешь ты значение тогда!