[clr] Как определить, что означает «Тип». Type что означает
[clr] Как определить, что означает «Тип» [types] [.net]
что является лучшим способом определить идею «типа» в контексте C # .Net? Это просто слово, используемое для определения ... правил хранения памяти? Я изо всех сил стараюсь приспособить красивую обертку и поклониться идее типа.
Это сложная проблема. Вы открыли ссылку на мою статью о том, is , но я думаю, что вы действительно хотите прочитать это:
http://blogs.msdn.com/b/ericlippert/archive/2011/08/29/what-is-this-thing-you-call-a-quot-type-quot-part-one.aspx
http://blogs.msdn.com/b/ericlippert/archive/2011/09/07/what-is-this-thing-you-call-a-quot-type-quot-part-two.aspx
Кратко:
С «математической» точки зрения тип подобен числу: абстрактная величина, которую мы можем манипулировать с помощью правил. Подобно «если T - тип, тогда T[] также является типом» и т. Д.
Когда у нас есть абстрактное понятие типа, мы можем присвоить каждому выражению тип, а затем мы можем сделать верификатор, который автоматически определяет, следует ли программе следовать правилам безопасности типа или нет.
Есть несколько хороших ответов на аналогичный вопрос: Почему оператор возвращает false при задании значения null?
Более подробное обсуждение нулевого литерала здесь: Каков тип нулевого литерала?
Похоже, что в более ранних версиях .NET для символьных целей использовался тип null, но впоследствии был удален в последующих версиях.
С точки зрения программиста IL, я могу сказать, что когда в IL используется инструкция типа if (myvar == null), она будет выглядеть примерно так:
Ldloc myvar brfalse IfNullLabelПеременная проверяется для нулевой ссылки только с одной командой IL, независимо от ее типа. Если бы это было сопоставлено с другой строкой, то вызывается метод Equals. Поэтому внутренне значение равно null, когда его ссылка указывает на нулевой литерал. Так просто.
Наличие немного большего контекста помогло бы ответить на ваш вопрос (« [...] define the idea of 'type' in a C#.Net context[...] »), но вот быстрый удар по нему. Концепция типа в .NET происходит от объектно-ориентированного программирования и является обобщением концепции типа данных с языков программирования до ООП. В своей простейшей форме вы могли бы сказать, что ...
Тип - это именованный шаблон для структуры, экземпляры которой содержат данные и / или поведение.
Ответы на вопросы в разделе EDIT:
[...] как CLR относится к идее типа?
Я не знаю точно, что вы подразумеваете под этим, но тип в CLR - «именованный шаблон» в моем определении выше - физически хранится как CIL и представлен в системе объектом, который сам (как и все объекты) имеет тип.
В этом случае этот тип называется, конечно, System.Type . (Если вам интересно, этот тип физически хранится в сборке mscorlib .) Я знаю, что я использую термин в своем собственном определении, но это трудно сделать, поскольку концепция по своей сути рекурсивна.
[...] требуется ли CLR для неявной передачи значения null в строку в строке присваивания s = null? Ответы до сих пор подразумевают нет, это не так, но что позволяет это задание? Нуль просто рассматривается как частный случай здесь?
Да, это особый случай, и нет, ни компилятор, ни CLR не выбрасывают null в string (или что-то еще). null не имеет типа (1) и не может быть преобразован в какой-либо тип - это специальное «значение», которое обозначает отсутствие значения (2) и, таким образом, присваивается переменной любого ссылочного типа (3) .
(1) В зависимости от того, где вы смотрите, он может быть или не быть типа «нулевой тип» .
(2) Такое значение будет ссылкой на экземпляр этого типа.
(3) Существует два типа типов - ссылочные типы и типы значений, а null действительно относится только к первому виду . Он может отображаться в исходном коде (например, int? i = null; ) как назначенный переменной типа значений с нулевым значением , но это просто синтаксический сахар, а то, что происходит за кулисами, очень отличается и касается только тангенциально связанных с этим обсуждением.
code-examples.net
types - Что означает "((->) а)?
Чтобы добавить к Matt Fenwick и josefg дополнительные технические ответы, ((->) a можно прочитать как конструктор типов, который формирует значения, зависящие от a. Один пример: предположим, что у вас есть команды, чье членство меняется со временем. Один из возможных способов представить это выглядит следующим образом:
((->) a) - это Functor, Applicative и Monad, что означает, что операции типа класса доступны, и они имеют очень полезные интерпретации при использовании с Historical t.
Первый пример: fmap применяет функцию к зависящему от времени значению. Так, например,
-- The number of persons in a Team, depending on the Day: membershipCount :: Team -> Historical Day Int membershipCount = fmap length . membershipАппликативная операция <*> дает вам одновременность:
-- The joint membership of team1 and team2, depending on the Day: (++) <$> membership team1 <*> membership team2 :: Historical Day [Person]Хотя на самом деле, поскольку мы имеем instance Monoid [a] и instance Monoid m => Monoid t -> m, предыдущий пример можно записать так:
import Data.Monoid membership team1 ++ membership team2Обратите внимание, что ((->) r точно совпадает с монадой Reader r. Если вы понимаете приведенный выше код, вы в значительной степени понимаете Reader.
РЕДАКТИРОВАТЬ: Я должен уточнить, что зависящие от времени значения - это всего лишь одно использование монады функции /Reader. Существуют и другие виды использования; классический пример использования монады Reader состоит в том, чтобы вывести значения конфигурации конфигурации через вычисление. Он получил больше возможностей, чем просто, как показывает приведенный выше пример.
qaru.site
Что обозначает слово MULT в визе? Что такое тип визы С? Что означает duration of stay = 180
Как разобраться, прочитать шенгенскую визу? ШЕНГЕНСКИЕ ВИЗЫ все вопросы ШЕНГЕНСКИЕ ВИЗЫ Как разобраться, прочитать шенгенскую визу? Valid for В данной визе возможны поездки в страны Шенгенского соглашения. Она открыта через Консульство Финляндии. Уточнение территории, на которой действует виза. В случае, если виза предназначена для посещения любой из стран шенгенского соглашения – будет написано "Шенгенские страны" на языке страны, выдавшей визу. From... Until Даты действия Шенгенской визы. Дата начала (from) и окончания (until) действия визы: с какого числа в страну можно въехать и до какого числа обязательно необходимо выехать. Внимание: Время выдачи визы и время начала ее действия – не одно и то же В графе Issued in, On Место и дата выдачи визы. Указывается город, консульская служба которого выдала визу. Виза может быть выдана раньше начала срока ее действия, а путешествие может начаться в первый же день даты, указанной в поле From. Number of entries Количество въездов, разрешенных по визе. Возможные варианты: 01 (один) , 02 (два) , MULT (количество въездов не ограничено) . Ограничено только количество дней пребывания в странах Шенгенского Соглашения. Как только число поездок исчерпано, виза становится недействительной к дальнейшему использованию для въезда, вне зависимости от ее срока действия. Duration of stay ...days Общее допустимое количество дней пребывания в конкретной стране или в странах всего Шенгена (в зависимости от визы) . Обозначает общее количество дней, которые разрешено находится по визе во время срока ее действия. Внимание! Для виз, имеющих срок действия 6 месяцев и более, указывается число дней, которые можно провести в странах Шенгена за полугодие. Если виза выдана на год, и в количестве дней пребывания указано число "30", это значит, что провести в указанной стране или на территории Шенгена можно 30 дней за первые полгода действия визы и 30 дней – во второе полугодие. Полугодие начинается с момента первого пересечения границы по текущей визе. Например, если данная виза начинает свое действие 05.08.08, а первый въезд в Финляндию сделан по ней 12.09.08 именно 12.09 будет служить датой отсчета первого полугодия. Type of visa Тип визы. Возможные варианты: A (транзитная виза для аэропорта, гражданам РФ не нужна) , B (транзитная виза) , C (обычная "визитерская" виза) , D (длительная национальная виза) . Issued in, On Место и дата выдачи визы. Указывается город, консульская служба которого выдала визу. Number of passport Номер паспорта владельца визы. Surname, name Фамилия и имя, на кого выдана виза. Remarks Дополнительные сведения для внутреннего использования пограничникам и консульству. В англию поехать сможете.
MULT - это значит, что на протяжении срока действия визы (duration) ты можешь сколько угодно кататься туда-сюда. Все 180 дней
Мульт - это многократная виза, можете ездить в страну, выдавшую визу несколько раз. .Англия дает визу на полгода. с - это значит туристическая виза. Официальные ответы Вы можете найти в Визовом кодексе. Entries 01 - это однократная виза, на один въезд, как-только покинули страну, выдавшую визу, так она и закончилась
1. Виза 2008 года - однократная, в отличие от визы 2007 года 2. С - кратковременная виза 3. В Англию - можно
touch.otvet.mail.ru
c# - Как определить, что означает "Тип"
У вас будет немного больше контекста, который поможет ответить на ваш вопрос ( "[...] define the idea of 'type' in a C#.Net context[...]" ), но здесь быстрый удар. Концепция типа в .NET происходит из объектно-ориентированного программирования и является обобщением тип данных с языков программирования до ООП. В своей простейшей форме вы могли бы сказать, что...
Тип - это именованный шаблон для структура, экземпляры которой содержат данные и/или поведение.
Ответы на вопросы в разделе EDIT:
[...] как CLR обрабатывает идею типа?
Я не знаю точно, что вы подразумеваете под этим, но тип в CLR - "именованный шаблон" в моем определении выше - физически хранится как CIL и представляется в системе объектом, который сам (как и все объекты) имеет тип.
В этом случае этот тип назван, конечно, System.Type. (Если вам интересно, этот тип физически хранится в сборке mscorlib.) Я знаю, что я использую термин в своем собственном определении, но это трудно сделать, поскольку концепция по своей сути рекурсивна.
[...] требуется, чтобы CLR неявно приводила значение null к строке в строка присваивания s = null? Ответы до сих пор не подразумевают нет, это не так, но что позволяет это задание? Нуль просто рассматривается как особый случай здесь?
Да, это особый случай, и нет, ни компилятор, ни CLR не добавили null к string (или что-то еще). null не имеет типа (1) и не может быть преобразован в какой-либо тип - это специальное "значение", которое обозначает отсутствие значения (2) и, следовательно, присваивается переменной любого ссылочного типа (3).
(1) В зависимости от того, где вы смотрите, может или не может быть типа "null type" .
(2) Такое значение будет reference для экземпляра этого типа.
(3) Есть два типа типов - ссылочные типы и значения типов - и null true применимы только к прежний вид. Он может отображаться в исходном коде (например, int? i = null;) как назначенный переменной значение типа nullable, но это просто синтаксический сахар и то, что происходит за кулисами, очень отличается и касается только тангенциально связанных с этим обсуждением.
qaru.site
[type-constraints] Что означает «где T: class, new ()» означает? [generics] [c#]
Это ограничение на общий параметр T Он должен быть class (ссылочным типом) и должен иметь открытый конструктор по умолчанию без параметров.
Это означает, что T не может быть int , float , double , DateTime или любой другой struct (тип значения).
Это может быть string или любой другой тип ссылочного типа, если он имеет конструктор по умолчанию или без параметров.
где T: struct
Аргумент типа должен быть типом значения. Можно указать любой тип значения, кроме Nullable. Дополнительную информацию см. В разделе Использование нулевых типов (Руководство по программированию на C #).
где T: класс
Аргумент type должен быть ссылочным типом, включая любой класс, интерфейс, делегат или тип массива. (См. Примечание ниже.)
где T: new () Аргумент типа должен иметь открытый конструктор без параметров. При использовании в сочетании с другими ограничениями ограничение new () должно указываться последним.
где T: [имя базового класса]
Аргумент типа должен быть или выводиться из указанного базового класса.
где T: [имя интерфейса]
Аргумент типа должен быть или реализовывать указанный интерфейс. Можно указать несколько ограничений интерфейса. Сдерживающий интерфейс также может быть общим.
где T: U
Аргумент типа, предоставленный для T, должен быть или получен из аргумента, предоставленного для U. Это называется ограничением голого типа.
class & new - 2 ограничения на параметр типового типа T Соответственно они обеспечивают:
class
Аргумент типа должен быть ссылочным типом; это относится также к любому типу класса, интерфейса, делегата или массива.
new
Аргумент типа должен иметь открытый конструктор без параметров. При использовании вместе с другими ограничениями ограничение new () должно быть указано последним.
Их комбинация означает, что тип T должен быть ссылочным типом (не может быть Тип значения ) и должен иметь конструктор без параметров.
Пример:
struct MyStruct { } // structs are value types class MyClass1 { } // no constructors defined, so the class implicitly has a parameterless one class MyClass2 // parameterless constructor explicitly defined { public MyClass2() { } } class MyClass3 // only non-parameterless constructor defined { public MyClass3(object parameter) { } } class MyClass4 // both parameterless & non-parameterless constructors defined { public MyClass4() { } public MyClass4(object parameter) { } } interface INewable<T> where T : new() { } interface INewableReference<T> where T : class, new() { } class Checks { INewable<int> cn1; // ALLOWED: has parameterless ctor INewable<string> n2; // NOT ALLOWED: no parameterless ctor INewable<MyStruct> n3; // ALLOWED: has parameterless ctor INewable<MyClass1> n4; // ALLOWED: has parameterless ctor INewable<MyClass2> n5; // ALLOWED: has parameterless ctor INewable<MyClass3> n6; // NOT ALLOWED: no parameterless ctor INewable<MyClass4> n7; // ALLOWED: has parameterless ctor INewableReference<int> nr1; // NOT ALLOWED: not a reference type INewableReference<string> nr2; // NOT ALLOWED: no parameterless ctor INewableReference<MyStruct> nr3; // NOT ALLOWED: not a reference type INewableReference<MyClass1> nr4; // ALLOWED: has parameterless ctor INewableReference<MyClass2> nr5; // ALLOWED: has parameterless ctor INewableReference<MyClass3> nr6; // NOT ALLOWED: no parameterless ctor INewableReference<MyClass4> nr7; // ALLOWED: has parameterless ctor }Новая () Constraint позволяет компилятору знать, что любой аргумент типа должен иметь доступный конструктор без параметров - или по умолчанию -
Так должно быть, T должен быть классом и иметь доступный без параметров - или конструктор по умолчанию.
Он называется «ограничением» для общего параметра T. Это означает, что T должен быть ссылочным типом (классом) и что он должен иметь общедоступный конструктор по умолчанию.
code-examples.net
Что значит тип "поставки OEM и Ret" на оперативной памяти
OEM (Original equipment manufacturer) в официальном варианте — обозначение производителем факта сборки продукта на основе сторонних проектов и созданных другими компаниями комплектующих. Фактически же для российского рынка аббревиатура OEM символизирует минимальную комплектацию, предназначенную в теории для сборщиков продуктов и дальнейшей реализации. Как правило, в российских торговых сетях OEM-продукты лежат на витринах рядом с RTL.Retail — в переводе с английского именно “розничная торговля”. Аббревиатура RTL обозначает, что продукт полностью готов к эксплуатации конечным потребителем. Во многих странах только такая форма и допускается к продаже в розничных торговых точках. Раз наш рынок не столь щепетилен, посмотрим на оба эти варианта ради оценки выгод покупателя, то есть нас с вами. OEM-поставка очень скромна: антистатический пакет, если речь идет о комплектующих или электронике (максимум — добавлен диск с драйверами) , или же, в случае с программным обеспечением, бумажный конверт с носителем (тот же оптический диск, чаще всего) . RTL-поставка щедрее, хотя щедрость — понятие относительное. Но, как минимум, имеется коробка, инструкция, минимальный набор аксессуаров вроде кабелей, болтиков и переходников, в зависимости от вида продукции. Если товар в коробке — уже не OEM, так что отсутствие в комплекте чего-то нужного и важного — на совести производителя. Цена производителем на OEM и RTL устанавливается разная, так что и мы на витринах видим ценники, иной раз значительно отличающиеся друг от друга. Таким образом, платим мы за коробку и определенного рода удобство эксплуатации. RTL по умолчанию дороже. Как правило, на OEM-поставки производитель не дает своей гарантии или дает ее на особых условиях. Эти обязательства перекладываются на плечи сборщиков и торговых организаций. Что касается программного обеспечения, то техподдержка разработчиком оказывается, но лицензионные соглашения часто действительны лишь для единственного варианта установки. Переносить OEM-лицензии в большинстве случаев запрещено. Retail-поставки в этом отношении гораздо лояльнее к потребителю. Также существенным для конечного потребителя может оказаться факт, что OEM-поставка ввиду отсутствия прочной упаковки может чаще оказаться поврежденной по вине перевозчика. К тому же стоит учитывать российские реалии, где за OEM очень часто выдают отбраковку или отремонтированное в сервисе. OEM всегда дешевле, разница в цене может доходить до 40%.OEM не предназначена для конечного пользователя, но на российском рынке это игнорируется. RTL существенно богаче комплектацией. На RTL дается гарантия производителя и предоставляются выгодные лицензионные условия. Теоретически возможность брака в поставке OEM выше
оем голая, ритэйл в коробочке
touch.otvet.mail.ru
что значит тип упаковки OEM???
Кажется для сборщика....
просто сам товар без дополнительных проводов, диска с ПО и даже упаковки (в пакетике может быть).
Значит, складская, а не коммерческая. У процессоров - отсутствие кулера в комплекте, у видяхи красивенькой коробочки и всякой фигни типа переходников, диска с игрой, и т. д.
Просто в целофановом пакете или дешевой коробке без бумажных рекламок - проспектов - инструкций.
дополнительно к товару ни че не прилагается! например у процов ОЕМ в комплекте только проц а у процов БОКС помима процов идет кулер и герметик ПОНЯТНО?
На розничном рынке компьютерных комплектующих и программного обеспечения постсоветского пространства аббревиатура «OEM», в силу ряда причин, приобрела своё особое — маркетинговое и бытовое — значение, и закрепилась там у потребителей и продавцов, став традиционной: в данном значении это — версия продукта, товара [2], поставляемая производителем в минимально необходимой комплектации и поступающая в таком виде в розничную торговлю. При этом продукт не ориентирован на конечного потребителя и непосредственный производитель не обеспечивает его поддержку — гарантийные обязательства (или их отсутствие) и их объём по своему усмотрению берут (или не берут) на себя розничные продавцы. Все это в википедии прочитать можно (не пойму, зачем сюда с этими вопросами лезут)
OEM- поставка для сборщиков.
В упрщённой упаковке, без красивых коробочек. Например SSD пакуется в красивую разноцветную коробочу с паралошкой, бумажки с ним всякие идут. А ОЕМ упаковка это диск в плотном целлофане и все.
touch.otvet.mail.ru
