Символьные типы. Поведение и представление

@Mournful Max · Регистрация: 15.12.2015

Студворк — интернет-сервис помощи студентам

Заголовок мутный, не смог правильно выразиться.

Сложно задать конкретный вопрос, покажу кодом:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
 
void print_char( signed char )
{
    std::cout << "signed char" << std::endl;
}
 
void print_char( unsigned char )
{
    std::cout << "unsigned char" << std::endl;
}
 
int main()
{
    char ch = '?';
    print_char( ch );  // error: call to 'print_char' is ambiguous
}

Он, конечно же, не скомпилируется. Почему?

Начал рыться в Стандарте, который вот что говорит:

Сообщение от Holy Bible

The three types char, signed char, and unsigned char are collectively called the character types. The implementation shall define char to have the same range, representation, and behavior as either signed char or unsigned char.

То бишь, есть три разных типа: char, signed char и unsigned char, но char в зависимости от реализации, должен быть эквивалентен signed char, либо unsigned char, что уже вводит меня в заблуждение ( ибо, если char эквивалентен signed char или unsigned char, то существуют два типа, один из которых имеет алиас, а не три, как говорит стандарт ).

Пока печатал, понял, что компилятор не может определиться, какую функцию вызывать. Почему? Разве он не знает какому типу эквивалентен char: signed char или unsigned char?
Со всеми подробностями и печеньками, пожалуйста.

@hoggy · 04.07.2017, 00:48

Сообщение от Captain Maxee

Разве он не знает какому типу эквивалентен char: signed char или unsigned char?
Со всеми подробностями и печеньками, пожалуйста.

он эквивалентен.
но не является.
это три независимых типа.

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

@dawn artist · 04.07.2017, 00:53

Сообщение от Captain Maxee

алиас

"эквивалентен" это не алиас.

long может иметь тот же диапазон, представление и поведение как int, но это отдельный тип.

Да, char, unsigned char и signed char это три разных типа.

@Mournful Max · 04.07.2017, 01:07 **[ТС]**

Сообщение от daun-autist

long может иметь тот же диапазон, представление и поведение как int, но это отдельный тип.

Да, это так, но здесь есть логическое объяснение: int гарантированно имеет размер не меньше 16 бит, в то время как long — не менее 32 бита.

В случае с char'ами, где они всегда имеют одинаковый размер, мне не понятно к чему было делать такую заварушку. Возможно, это как-то связано с реализацией на машинном уровне.

Новые блоги и статьи Все статьи Все блоги /
Вывод данных через динамический список в справочнике Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .

Символьные типы. Поведение и представление

Решение

Решение