Мелочь, но мало ли кто не знает)

[OKTA]

Уверен большинству это известно, но уверен, что есть и такие, кому нет, так что будет полезно) Вопрос, вобщем-то, вот в чем -
Что выдадут следующие команды:

Код:

printf("%d", sizeof("a"));
printf("%d", sizeof('a'));
printf("%d", sizeof(char));

А тут самопроверка) http://codepad.org/vy9jVYxA

[Bepec]

Ммм... не имел дела с printf уже давно
1) 8
2) 4
3) ?

Как же я ошибался поду веревку искать

Но в принципе ход мыслей был правильный

[kambala]

1. размер указателя (4 или 8 )
2. либо 1 либо 4 (не знаю приведется ли тут к инт)
3. 1

[Bepec]

Тут механику нужно знать

[OKTA]

Тут механику нужно знать

Что однако крайне полезно))

[Bepec]

В общем то у меня знание было, ток чуть замороченное ) В пропорциях совпадает, но вот тонкости Хотя тем не менее круто, потому что я использовал sizeOf года 4 назад в первый и последний раз

[kambala]

1. размер указателя (4 или 8 )
2. либо 1 либо 4 (не знаю приведется ли тут к инт)
3. 1

почти угадал (компилятор от студии-2012):
2 (почему?)
1
1

[Kurles]

почти угадал (компилятор от студии-2012):
2 (почему?)

в порядке бреда - размер самих данных, то есть 'a', 0x00?

[Hellraiser]

sizeof для типа данных вернет размер самого типа, поэтому sizeof(char) вернет 1. Для переменной sizeof возвращает размер занимаемой памяти (а не размер указателя). Поэтому sizeof("a") вернет 2 (не забываем про \0 в конце строки), а sizeof('a') вернет 1, т.к. это размер одного символа.

[OKTA]

а в Си sizeof('a') отдает 4, ибо операция '' немного иначе трактуется)

[Bepec]

Точнее современное sizeOf возвращает размер от char А указатель на данные  преобразуется в массив данных. MSDN форева.

[Igors]

2 (почему?)

Потому что "rvalue". Распишем так

Код

C++ (Qt)
char test[2] = ['a', 0]; 

При передаче в ф-цию (напр strlеn("a")) будет использован адрес, т.к. есть прототип ф-ции. Но для sizeof никаких указаний не было - ну он и вернет размер массива.

[kambala]

спасибо. Hellraiser, в общем-то, доступно расписал.

[_Bers]

Точнее современное sizeOf возвращает размер от char А указатель на данные  преобразуется в массив данных. MSDN форева.

printf("%d", sizeof("a"));

"a" - это не указатель на константу. Это - массив констант из двух элементов: 'a' и терминатор-нуль.
Он имеет тип const char[2];

sizeof(const char[2]) вернет 2, потому что размер массива - это размер типа элементов массива умноженное на количество элементов.


Тезис: литерные константы вида "trololo" имеют тип "массив констант типа char"

Доказательство:

Компилятор имеет право неявно приводить тип данных "массив" к типу данных "указатель". Но это не одно и тоже. Это два принципиально разные типы данных.

А раз это разные типы данных, значит они должны подчиняться правилу выбора прендендента среди перегруженных функций.

Обратите внимание на этот код:
http://rextester.com/IZG49875

Код:

//Title of this code

#include <iostream>
using namespace std;

template<size_t N>void View( const char (&a)[N] )
{
    cout<< "it is array\n";
    for( const auto& i: a)
        cout<< "item = "<< i<<endl;
}

template<size_t N>void View( const char* p )
{
    cout<< "it is pointer\n";
}


int main()
{
    cout << "Hello, world"<<endl;
    
    cout << typeid("Hello, world").name()<<endl;
    
    View("Hello, world");
}

Обратите внимание: есть две функции. одна принимает указатель, а другая - ссылку на массив.

Когда есть перегруженные функции, то компилятор в первую очередь выбирает ту, чей аргумент точно соответствует типу заявленной переменной.

И только если такой среди перегрузок нету, только тогда он пытается скастить тип заявленной переменной к типам аргументов прентендентов, и если какая то подойдет - выберет её.


Таким образом, если литерная константа "Hello, world" это массив, то должна запустится перегрузка, которая принимает ссылку на массив.

И только, если литерная константа оказалась бы не массивом, только тогда, компилятор попытался бы запустить версию с указателем.

Как видите, запустилась версия с массивом. Следовательно литерная константа действительно имеет тип "массив констант типа char".

Тезис доказан.