Результаты поиска по запросу "types"

1 ответ

Что такое подтип Изабель / HOL? Какие команды Isar создают подтипы?

Я хотел бы знать о подтипах Изабель / HOL. Я объясняю немного, почему это важно для меня в моем частичном ответе на мой последний вопрос SO: Попытка рассматривать классы и подтипы типов как наборы и ...

1 ответ

Команда Pointtype для gnuplot

У меня проблемы с использованием команды pointtype на gnuplot. Я пробовал несколько способов, таких как: set pt 5 set pointtype 5 plot " " w pt 5 plot " " w pointtype 5И почему-то, кажется, ничего не работает. Я попытался использовать функцию ...

4 ответа

Разница между классом и типом

Будучи новичком в Java, я запутался между понятиямикласса такжетип, Например, должен ли объект"Hello World!" принадлежаттип String или жекласс String? Или может оба?

ТОП публикаций

2 ответа

Является ли «long unsigned» так же, как «unsigned long» в C?

A вопрос [https://stackoverflow.com/questions/17287680/literal-types-0x1ull-vs-0x1llu] Недавно спросили о том,ULL или жеLLU был допустим для указания беззнаковых длинных длинных констант в C. Я знаю, что они оба действительны, но я думал, чтоULL ...

6 ответов

Как проверить, является ли вход число или нет в C?

В основной функции C: void main(int argc, char **argv) { // do something here }В командной строке наберем любое число например1 или же2 в качестве входных данных, но он будет рассматриваться как массив символов для параметра argv, но как ...

1 ответ

Порядок определения типов

Есть ли какое-либо предпочтение / соглашение / правило в заказе для определения переменной какstatic а такжеlong/double или другие типы? например является static double a;такой же как double static a;это отличается от функций? выше, а является ...

7 ответов

Могут ли панды автоматически распознавать даты?

Сегодня я был приятно удивлен тем фактом, что при чтении данных из файла данных (например) панды могут распознавать типы значений: df = pandas.read_csv('test.dat', delimiter=r"\s+", names=['col1','col2','col3']) Например, это можно проверить ...

4 ответа

PHP mysqli_fetch_field тип данных

Мне нужна помощь, чтобы отследить немного мельчайшей информации об информации в методе fetch_field объекта результата mysqli. В частности,типсобственность - отдокументация [http://ca2.php.net/manual/en/mysqli-result.fetch-field.php]Казалось бы, ...

3 ответа

Почему размер типа данных bool в C # не равен 1 биту?

Я просто изучаю C # и изучаю типы данных. Почему неbool тип данных размером 1 бит? Кажется, он может содержать только одно из двух значений (true или false), поэтому не будет ли он занимать только 1 бит пространства для представления этого ...

5 ответов

Тип преобразования - неподписанный в подписанный int / char

Я попытался выполнить следующую программу: #include <stdio.h> int main() { signed char a = -5; unsigned char b = -5; int c = -5; unsigned int d = -5; if (a == b) printf("\r\n char is SAME!!!"); else printf("\r\n char is DIFF!!!"); if (c == d) ...