Вітаю. Намагаюся зрозуміти, що таке ім'я масиву в С++. Я вже вроді не зовсім новачок в С++, але деякі моменти вроді зрозумілі, а вроді і не зовсім. Власне погугливши про це в інтернеті, як я зрозумів це таки вказівник, саме тому до імені масиву може бути застосована арифметика вказівників.
Але раз це вказівник, отже він десь може знаходитися в пам'яті та мати свій адрес? А раз така комірка пам'яті є, то, по ідеї, можна дізнатися її адресу так - &arr? На жаль такий трюк не працює і виходить, що &arr == arr. Для мене цей момент не зрозумілий. Чи ім'я масиву це таки посилання, раз не виділяється нічого?

int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
int* parr = arr; // parr вказує на перший елемент arr, якщо arr (ім'я масиву) це вказівник,
                 // то чому parr вказує на arr[0]? отже arr це посилання?
std::cout << "arr = " << arr + 0 << " parr = " << parr + 0;

Вітаю всіх. Поясніть мені, що відбувається з виділенням пам'яті при виконанні функції foo в наступному коді:

void foo(char arr[5])
{
  for (int i = 0; i < sizeof(arr); i++) {
    printf("%c", arr[i]);
  }
  printf("\n");
}
 
int main()
{
  char* str = "hello";
  foo(str);
}

Очевидно, вказівнику arr буде присвоєно значення str. Але незрозуміло, що відбувається в частині char arr[5].
Поки я розумію це так, що при виконанні функції foo на стеку буде виділено 5 байт пам'яті, але вказівнику arr не буде надано адресу початку цієї пам'яті, а буде присвоєно адресу покажчика str. 5 байт будуть даремно виділені?

Вітаю, я тут намагаюся розібратися з операторами перетворення і чомусь отримую дивну помилку.
Є деяка сутність, яка вміє бути bool'ом

struct Object {
    explicit operator bool() const {
        return true;
    }
};

це добре працює, наприклад в if'і

if (object) std::cout << "TRUE\n";

але ось так

bool func() {
    return object;
}

компілятор свариться, що no viable conversion from returned value of type 'Object' to function return type 'bool'.
Щось я не розумію чому так?

У чому різниця між uinptr_t, size_t, ptrdiff_t?
Я от прочитав, що тип size_t - це беззнаковий тип і що в нього можна помістити вказівник, але навіщо тоді є тип uinptr_t?
Яка тоді між ними різниця?

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

int a = 0;
int *p = &a;

На x64 системі p буде розміром 8 байт. Як влаштовані посилання в аналогічній ситуації?

int a = 0;
int& r = a;

Скільки буде місця займати r як посилання?
І, яким ще методом можуть бути реалізовані посилання?