'const int' vs. 'int const' як параметри функції в C ++ та C

Поміркуйте:

int testfunc1 (const int a)
{
  return a;
}

int testfunc2 (int const a)
{
  return a;
}

Ці дві функції однакові у кожному аспекті чи є різниця?

Мене цікавить відповідь на мові С, але якщо в мові С ++ є щось цікаве, я також хотів би це знати.

const Tі T constоднакові. З типами вказівників це ускладнюється:

1. const char* є вказівником на константу char
2. char const* є вказівником на константу char
3. char* const є постійним вказівником на (змінний) char

Іншими словами, (1) і (2) тотожні. Єдиний спосіб скласти вказівник (а не pointee) const- використовувати суфікс- const.

Ось чому багато людей вважають за краще завжди ставити constправоруч від типу (стиль "Східний конст"): це робить його розташування відносно типу послідовним і легким для запам'ятовування (це також анекдотично, здається, полегшує навчання початківцям ).

Хитрість полягає в тому, щоб прочитати декларацію назад (справа наліво):

const int a = 1; // read as "a is an integer which is constant"
int const a = 1; // read as "a is a constant integer"

Обидва - це одне і те ж. Тому:

a = 2; // Can't do because a is constant

Трюк зворотного читання особливо корисний, коли ви маєте справу зі складнішими заявами, такими як:

const char *s;      // read as "s is a pointer to a char that is constant"
char c;
char *const t = &c; // read as "t is a constant pointer to a char"

*s = 'A'; // Can't do because the char is constant
s++;      // Can do because the pointer isn't constant
*t = 'A'; // Can do because the char isn't constant
t++;      // Can't do because the pointer is constant

Різниці немає. Вони обидва оголошують "а" цілим числом, яке неможливо змінити.

Місце, де починають з'являтися відмінності, - це коли ви користуєтеся покажчиками.

І те й інше:

const int *a
int const *a

оголосити "а" вказівником на ціле число, яке не змінюється. "a" можна призначити, але "* a" не може.

int * const a

оголошує "a" постійним вказівником на ціле число. "* a" можна призначити, але "a" не може.

const int * const a

оголошує "a" постійним вказівником на постійне ціле число. Ні "a", ні "* a" не можуть бути призначені.

static int one = 1;

int testfunc3 (const int *a)
{
  *a = 1; /* Error */
  a = &one;
  return *a;
}

int testfunc4 (int * const a)
{
  *a = 1;
  a = &one; /* Error */
  return *a;
}

int testfunc5 (const int * const a)
{
  *a = 1;   /* Error */
  a = &one; /* Error */
  return *a;
}

Пракаш правильний, що декларації однакові, хоча, можливо, трохи більше пояснень у випадку покажчика.

"const int * p" - це вказівник на int, який не дозволяє змінювати int через цей покажчик. "int * const p" - це вказівник на int, який неможливо змінити, щоб вказати на інший int.

Дивіться https://isocpp.org/wiki/faq/const-correctness#const-ptr-vs-ptr-const .

const intідентичний int const, як це стосується всіх скалярних типів у C. Взагалі, оголошення параметра скалярної функції constне потрібне, оскільки семантика виклику за значенням C означає, що будь-які зміни змінної є локальними для її функції, що укладає.

Це не пряма відповідь, а відповідна порада. Щоб все було прямо, я завжди використовую конвекцію "поставлену constназовні", де під "зовні" я маю на увазі крайній лівий або крайній правий. Таким чином не виникає плутанини - const застосовується до найближчого (або типу, або типу *). Наприклад,

int * const foo = ...; // Pointer cannot change, pointed to value can change
const int * bar = ...; // Pointer can change, pointed to value cannot change
int * baz = ...; // Pointer can change, pointed to value can change
const int * const qux = ...; // Pointer cannot change, pointed to value cannot change

Вони однакові, але в C ++ є вагомий привід завжди використовувати const праворуч. Ви будете послідовні скрізь, оскільки функції члена const повинні бути оголошені таким чином:

int getInt() const;

Він змінює thisвказівник у функції з Foo * constна Foo const * const. Дивіться тут.

Так, вони однакові просто int

і різні для int*

Я думаю, що в цьому випадку вони однакові, але ось приклад, коли порядок має значення:

const int* cantChangeTheData;
int* const cantChangeTheAddress;