Как понять, какого типа константа?

@ПраПрапорщик · Регистрация: 14.07.2015

константу обычно обо значают типа

Delphi

1 2	s = 'stroka'; n = 1344;

Как понять какого типа константа n? Это integer, cardinal, или что?

@northener · 10.08.2016, 12:05

Никакого конкретного типа у этой константы нет.

@alex256 · 10.08.2016, 12:11

Pascal преобразовывает константу к типу наименьшего размера, в который влезет константа. В данном случае

Pascal

n = 1344;

n будет типа SmallInt (2х байтовый знаковый тип). Можно указать тип явно:

Pascal

1	n: longint = 1344;

Тут n уже будет longint (так как тип явно указан).

@northener · 10.08.2016, 12:34

Сообщение от alex256

Pascal преобразовывает константу к типу наименьшего размера

Зачем ему это надо?

@BOGG ART · 10.08.2016, 12:56

Не по теме:

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

@ПраПрапорщик · 10.08.2016, 12:59 **[ТС]**

alex256, а если подходит под джва типа одинаково? Например, integer (в текущей версии fpc) и longint имеют одинаковый диапазон

@northener · 10.08.2016, 13:09

Не по теме:

Сообщение от BOGG ART

Оптимизация, чтоб её.

При чем тут оптимизация? Зачем ее вообще хранить в памяти? Она же просто подставляется в машкод в тех местах кода, где она используется.

@volvo · 10.08.2016, 13:09

Сообщение от alex256

Pascal преобразовывает константу к типу наименьшего размера, в который влезет константа

Паскаль подставляет значение, записанное в константе, туда, где используется ее имя, а не приводит ничего ни к каким типам. А вот потом уже начинаются всяческие проверки, нет ли каких-либо несоответствий или выходов за границы типов РЕЗУЛЬТАТА выражения (или параметров подпрограмм), что не имеет ничего общего с "типом" константы.

@ПраПрапорщик · 10.08.2016, 13:32 **[ТС]**

volvo, надо было мне изначально объяснить зачем мне это понадобилось.
допустим объявил консту:

Delphi

1	const DEF_ID = 87311;

И хочу объявить массив из чисел, заполнять которые будут этой константой:

Delphi

1 2	for i := 0 to High(Massiv) do Massiv[i] := DEF_ID;

вот каким надо объявлять массив? array of LongInt или как?
Я понимаю что можно забить на эти тонкости и обычно компилятор сам приводит типы (если нету перехода за границы диапазона). Но вдруг я объявлю массив как массив cardinal, а затем мне вздумается и я изменю DEF_ID на -15, или наоборот 4 294 967 297 (превышение диапазона cardinal), и буду потом исать ошибку по коду.

Даже если это все надуманные проблемы, всеравно знать не помешает такие тонкости языка и компилятора

@volvo · 10.08.2016, 14:13

Сообщение от ПраПрапорщик

и буду потом исать ошибку по коду

А на предупреждения компилятора тебя не учили обращать внимание? Он тебе сам покажет все места, где есть несоответствия:

Pascal

const
  DEF_ID = 4294967297;
var
  Massiv : array of Cardinal;
 
// ...
  for i := 0 to High(Massiv) do
  Massiv[i] := DEF_ID; // Warning: range check error while evaluating constants (4294967297 must be between 0 and 4294967295)

Pascal

const
  DEF_ID = -15;
var
  Massiv : array of Cardinal;
 
// ...
  for i := 0 to High(Massiv) do
  Massiv[i] := DEF_ID; // Warning: range check error while evaluating constants (-15 must be between 0 and 4294967295)

Pascal

const
  DEF_ID = 150000;
var
  Massiv : array of SmallInt;
 
// ...
  for i := 0 to High(Massiv) do
  Massiv[i] := DEF_ID; // Warning: range check error while evaluating constants (150000 must be between -32768 and 32767)

, а если добавить -Sew в Параметры проекта -> Компилятор -> Параметры пользователя, то код вообще не будет компилироваться, пока все подобные предупреждения не будут исправлены.

Как понять, какого типа константа?

Решение

Решение

@northener пофигист широкого профиля 4633 / 3078 / 852 Регистрация: 15.07.2013 Сообщений: 17,743
	10.08.2016, 12:05	2
	Никакого конкретного типа у этой константы нет. 1

@northener пофигист широкого профиля 4633 / 3078 / 852 Регистрация: 15.07.2013 Сообщений: 17,743
	10.08.2016, 12:34	4
	Сообщение от alex256 Pascal преобразовывает константу к типу наименьшего размера Зачем ему это надо? 0

@BOGG ART
	10.08.2016, 12:56 #5
	Не по теме: Оптимизация, чтоб её. Мне множество урезает до минимума, никак не заставлю выравнивать к 4 байтам. 0

@ПраПрапорщик 10 / 7 / 3 Регистрация: 14.07.2015 Сообщений: 284
	10.08.2016, 12:59 [ТС]	6
	alex256, а если подходит под джва типа одинаково? Например, integer (в текущей версии fpc) и longint имеют одинаковый диапазон 0

@northener
	10.08.2016, 13:09 #7
	Не по теме: Сообщение от BOGG ART Оптимизация, чтоб её. При чем тут оптимизация? Зачем ее вообще хранить в памяти? Она же просто подставляется в машкод в тех местах кода, где она используется. 0

@volvo Супер-модератор 32489 / 20975 / 8115 Регистрация: 22.10.2011 Сообщений: 36,249 Записей в блоге: 7
	10.08.2016, 13:09	8
	Сообщение от alex256 Pascal преобразовывает константу к типу наименьшего размера, в который влезет константа Паскаль подставляет значение, записанное в константе, туда, где используется ее имя, а не приводит ничего ни к каким типам. А вот потом уже начинаются всяческие проверки, нет ли каких-либо несоответствий или выходов за границы типов РЕЗУЛЬТАТА выражения (или параметров подпрограмм), что не имеет ничего общего с "типом" константы. 2