Что физически означает «тип»?

Тип - это метаданные о битах и ​​байтах, которые определяют, как управлять ими осмысленным и безопасным образом.

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

Я предпочитаю его значение как «Ограничения интерфейса». (Хорошо написанный объектный код определяет все данные в памяти как частные).

И в таком случае тип абсолютно НЕ связан с представлением в памяти. Напротив, это всего лишь договор о методах его членов.

Это зависит от парадигмы программирования, с которой вы работаете. В объектно-ориентированном формате типы могут представлять объекты реального мира, другими словами, все данные объекта реального мира, которые может представлять компьютер (или части, которые вам интересны в любом случае).

Языки строгого типа IIRC применяют типы объектов во время компиляции, например число должно быть типа int, float и т. д. На языках со слабой типизацией вы можете сказать жираф = 1 + лягушка * 100 долларов / «1 мая», и типы будут разрешены во время выполнения. И обычно вы получаете множество ошибок во время выполнения.

В ситуациях обмена данными (например, COM, CORBA, RPC и т. Д.) Очень сложно обеспечить соблюдение типов из-за двоичной совместимости (прямой порядок байтов, обратный порядок байтов) и форматов (как вы представляете строки и даты при переходе с одного языка на другой). другой, каждый с разными компиляторами?). Следовательно, маршалинг пытается разрешить типы каждого параметра. ASN.1 был одной из многих попыток построить структуру «универсальных типов» при обмене данными между машинами.

Тип - это понятная человеку логическая схема того, как данные должны быть представлены и организованы в памяти. Это способ позволить людям разделить, как концепция может быть преобразована в цифровую последовательность стандартным способом. Машина и компилятор действительно не заботятся о разнице между строкой, целым числом и fooClass. Эти «типы» - это просто согласованные организационные единицы, которые все люди-программисты переводят логические концепции в рациональные структуры данных в памяти.

Тип - это связное слово. Когда вы знаете тип чего-то, вы знаете, сколько памяти это занимает, как хранятся его фрагменты, но, что более важно, вы также знаете, что вы можете с этим делать. Например, есть несколько целочисленных типов, которые занимают столько же памяти, что и указатель. Однако вы можете умножить один целочисленный тип на другой (например, 3 раза по 4), но вы не можете умножить два указателя вместе. Вы можете вызвать метод Foo () для некоторого определяемого пользователем типа (структуры или класса), который имеет метод Foo, например, написав x.Foo (), но вы не можете сделать это для другого определяемого пользователем типа у которого нет метода Foo. Вы можете преобразовать между одними парами типов, но не между другими, или вы можете преобразовать A в B, но не B в A. И так далее. В некоторых языках также есть различия, например, является ли он константой или нет.

Компиляторы и среда выполнения несут большой объем информации, которая складывается в тип элемента. Физическая сущность того, сколько байтов он занимает (или что-то еще, что вы могли бы правдоподобно назвать осязаемым) на самом деле не имеет значения.

Во многих языках физически типы существуют только во время компиляции. Особенно это касается старых языков. Я бы предположил, что в C есть такие типы, которые вообще никогда не существуют в памяти , во всяком случае , пока программа работает.

В других языках, особенно в тех, которые разрешают доступ к информации о типах во время выполнения (например, C ++ с RTTI , C # или любой динамический язык, например Python), типы являются просто метаданными. Двоичное описание типа. Знаете, такие вещи вы получите, если попытаетесь сериализовать данные в двоичный поток.

Я бы сказал прямо противоположное. Это языковое представление битов и байтов в памяти.

«Тип» - это набор, члены («объекты») которого имеют дискретное конечное представление и полезный набор общих атрибутов.

Фактическое представление объекта в памяти не обязательно является частью определения типа. То есть один объект может иметь несколько представлений в памяти. Важно то, что объект не может быть бесконечным или аналоговым.

Общие атрибуты типа могут быть любыми. В объектно-ориентированной системе атрибуты будут включать (на низком уровне) данные и поведение. Уведомления о событиях также распространены. Некоторые атрибуты могут быть условными без нарушения определения типа (если логический атрибут X истинен, атрибут Y также существует), если правила согласованы для всех объектов в типе.

«Подтип» - это подмножество типа, члены которого имеют более широкий набор общих атрибутов.

Такой способ мышления о типах очень отличается от того, что вы задаете в вопросе, и я считаю, что это различие важно.

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

Однако, если кто-то видит типы в терминах их атрибутов, тогда преобразования из одной системы типов в другую будут включать высокоуровневые преобразования полей данных между соответствующими объектами.Определение совместимости объектов будет основано на их основных атрибутах, и проблемы станут менее вероятными.

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