Что представляют собой объекты первого класса в Java и C#?

Question

Когда я начал программирование OO много лет назад, у меня сложилось впечатление, что переменные (если это правильное слово) были либо «примитивами» (int, double, и т. Д.), Либо первоклассными объектами (String, JPane и т. Д.), , Это подкрепляется недавним ответом на примитивы в Java и C# (@ Daniel Pryden: Are primitive types different in Java and C#?). Однако не знаю, являются ли C# ValueTypes примитивами, объектами или другим зверьком, например объектами второго класса. Я вижу, что SO имеет только одно использование тега first-class, поэтому, возможно, это уже не полезный термин.

Я не нашел the Wikipedia article полезный («Эта статья нуждается в внимании от эксперта по данной теме»). Я был бы признателен за таксономию и текущее использование терминов, в первую очередь связанных с Java и C# (хотя, возможно, другие языки прольют просветление).

Разъяснение: Я хотел бы понять термин первого класса и что его диапазон использования есть.

Answer 1

Проблема заключается в том, что «объект первого класса» не является четко определенной концепцией.

Нормальное использование заключается в том, что кто-то говорит, что «объект» - это класс вещей, который должен иметь все свойства X, Y и Z. Но есть и другие вещи, которые не имеют всех этих свойств , но они являются своего рода объектно-иш. Таким образом, мы будем называть прежние объекты «первого класса», а остальные не «первым классом» ... и могут быть не объектами.

Проблема заключается в том, что существует некоторое количество видов свойств, которые должна иметь вещь, чтобы сделать объект «первым классом». И нет перспективы для людей с противоположными взглядами прийти к консенсусу. (Например, эксперт по языку Javascript может усиленно заявлять, что объект является только первым классом, если он основан на шаблонах.)

Единственными действительно прочными представлениями о «первоклассности» будут те, которые вы можете получить из соответствующие спецификации языка для Java и C#. И они действительно применяются только в рамках соответствующих языков/типов систем ... и не на нескольких языках.

Таким образом, «объект класса Java первого класса» или «объект класса C# первого класса» может иметь смысл, но «объект первого класса», извлеченный из контекста, не является.

Ну это мое мнение ...

Answer 2

Для каждого примитивного типа данных в Java основная библиотека классов предоставляет класс-оболочку, который представляет его как объект Java. Например, класс Int32 обертывает тип данных int, а Double-класс обертывает двойной тип данных.

С другой стороны, все примитивные типы данных в C# являются объектами в пространстве имен System. Для каждого типа данных предоставляется краткое имя или псевдоним. Например, int - это краткое имя System.Int32, а double - краткая форма System.Double.

Список типов данных C# и их псевдонимов приведен в следующей таблице. Как вы можете видеть, первые восемь из них соответствуют примитивным типам, доступным на Java. Обратите внимание, однако, что логическое имя Java называется bool в C#.

От: http://msdn.microsoft.com/en-us/library/ms228360%28VS.80,lightweight%29.aspx

Answer 3

http://onjava.com/onjava/2003/05/21/delegates.html

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

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

Answer 4

В .NET у вас нет примитивных типов против классов. Вместо этого у вас есть структуры против классов, но структуры разделяют многие функции классов (например, способность иметь свойства и методы) и наследуют от класса Object.

Когда вы пишете, например, int в C#, это просто ярлык языка для структуры Int32. Вы можете сделать, например, int i=int.Parse("34"), или даже string s=1234.ToString(). Чтобы назначить экземпляры структур переменным типа Object, существует the boxing/unboxing mechanism.

В Java, с другой стороны, у вас действительно есть примитивные типы и классы по дикотомии. Так, например, для выполнения операций с переменной типа int, вы должны использовать дополнительный класс Integer. Это одна из вещей, которые мне не нравятся в Java по сравнению с .NET.

EDIT. Когда вы читаете о «объектах первого класса» (или классах), это означает «полностью задействованные объекты», то есть классы, которые имеют те же возможности, что и любые другие системные классы или пользовательские классы. Это значит отличать от «ограниченных примитивных типов».

Answer 5

Честно говоря, я понятия не имею, что такое «первого класса объект» ...
Но я первым нашел применение подобной идиомы в Lua документации и рассылки список, говорящий, что функции являются первоклассными гражданами или первоклассными ценностями.

Я позволяю один из авторов Lua, чтобы объяснить, что это такое: Programming in Lua : 6 - More about Functions

Это означает, что в Lua, функция является значение с теми же правами, как и обычных значений, таких как числа и строки. Функции могут быть сохранены в переменных (как глобальных, так и локальных) и в таблицах, могут передаваться как аргументы, и могут быть возвращены другими функциями .

Каким-то образом, это определение применимо к объектам в Java: вы можете хранить их в переменных, в массивах, использовать их в качестве параметров функции и возвращать их, использовать в качестве ключа для HashMap и других коллекций и т.д.
Не конечно, если это то, как этот термин используется для объектов, но по крайней мере он имеет смысл ... :-)

На языке, таком как C, объекты должны быть сделаны с нуля, используя некоторые трюки (воссоздание C++, как-то ...), поэтому они не первоклассны: вам нужно пропустить указатели, чтобы манипулировать ими.

Answer 6

Когда мы говорим о «объектах первого класса» под «объектами», мы подразумеваем некоторые понятия языка, а не объекты, которые мы создаем на этом языке. Вот почему есть такие термины, как «первоклассные граждане».

Так, например, Java имеет следующие понятия - Java-объекты, Java-примитивы, поля, методы и другие (по объектам Java я имею в виду все, что является экземпляром типа Object). Я бы сказал, что на Java Java-объекты и Java-примитивы являются первоклассными гражданами на этом языке.

В C# у нас есть некоторые дополнительные понятия, которые мы можем «протестировать» для первоклассных свойств. Например, делегаты. Мы можем назначить делегат ot переменной (дать имя), передать его методу в качестве аргумента, вернуть его из метода, включить в структуры данных (например, использовать словарь делегатов). Поэтому я думаю, что мы можем сказать, что делегаты являются первоклассными объектами в C#. Вы можете продолжить и другие концепции C# - события, свойства ...

Функциональные языки имеют понятие «функция» и, конечно же, это первоклассный гражданин на любом функциональном языке. Я бы сказал, что мы можем назвать язык функциональным языком, если он имеет «функцию» как первоклассную концепцию (имя, пропуск, возврат, включение ...).

Итак, если какой-то язык приносит некоторые понятия, мы можем «измерить» силу этих понятий на языке, который он сам.

Answer 7

Понятие "first-class citizen" or "first-class element" на языке программирования было введено британским компьютерным ученым Christopher Strachey в 1960-х годах в контексте первоклассных функций. Самая известная формулировка этого принципа, вероятно, в Structure and Interpretation of Computer Programs Джеральд Джей Зуссмана и Гарри Абельсоном:

• Они могут быть названы переменными.
• Они могут передаваться в качестве аргументов в процедуры.
• Они могут быть возвращены в качестве результатов процедур.
• Они могут быть включены в структуры данных.

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

Answer 8

Объекты первого класса - это те объекты, которые мы создаем без использования «нового» ключевого слова. Обычно мы создаем объекты, используя ключевое слово 'new', но некоторый объект в языке программирования, который мы создаем, не используя ключевое слово 'new'.

В java 'String' - объект первого класса. Это концепция Java, и она не является концепцией stander для всех языков программирования.