Максимальное количество параметров в объявлении метода Java

Какое максимальное количество параметров может иметь метод в Java и почему?

Я использую Java 1.8 в 64-битной системе Windows.

Во всех ответах на StackOverflow об этом говорится, что технический предел составляет 255 параметров без указания причин.

Чтобы быть точным, 255 для статических и 254 для нестатических ( thisбудет 255-м в данном случае) методов.

Я подумал, что это можно описать в какой-то спецификации, и что существует просто статически определенное максимальное количество разрешенных параметров.

Но это было справедливо только для intвсех 4-байтовых типов . Я провел несколько тестов с longпараметрами, и в этом случае я смог объявить только 127 параметров.

С участием String параметрами допустимое число, которое я вывел из тестирования, составляет 255 (это может быть потому, что эталонный размер в Java составляет 4 байта?).

Но поскольку я использую 64-битную систему, размер ссылок должен составлять 8 байт, и поэтому с Stringпараметрами максимально допустимое число должно быть 127, аналогично longтипам.

Как именно применяется этот лимит?

Имеет ли ограничение какое-либо отношение к размеру стека метода?

Примечание: на самом деле я не собираюсь использовать эти многие параметры в каком-либо методе, но этот вопрос предназначен только для уточнения точного поведения.

Этот предел определен в спецификации JVM :

Количество параметров метода ограничено 255 определением дескриптора метода (§4.3.3), где ограничение включает в себя одну единицу для этого в случае вызовов метода экземпляра или интерфейса.

Раздел 4.3.3 дает некоторую дополнительную информацию:

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

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

Ваши наблюдения были замечены, примитивы двойных слов ( long/double ) нужно вдвое больше обычных 4-байтовых переменных и 4-байтовых ссылок на экземпляры объектов .

Что касается последней части вашего вопроса, относящейся к 64-битным системам, спецификация определяет, сколько единиц вносит параметр , эта часть спецификации должна быть соблюдена даже на 64-битной платформе, 64-битная JVM будет содержать 255 параметров экземпляра (например, ваш 255 Strings) независимо от размера указателя внутреннего объекта.

Раздел 4.3.3 спецификации JVM содержит информацию, которую вы ищете:

Дескриптор метода действителен только в том случае, если он представляет параметры метода с общей длиной 255 или меньше, где эта длина включает вклад для этого в случае вызова метода экземпляра или интерфейса. Общая длина рассчитывается путем суммирования вкладов отдельных параметров, где параметр типа long или double дает две единицы длины, а параметр любого другого типа дает одну единицу .

Следовательно, похоже, что 32-битный или 64-битный хост-компьютер не влияет на количество параметров. Если вы заметили, в документации используются «единицы», где длина одной «единицы» зависит от размера слова. Если количество параметров прямо пропорционально размеру слова, возникнут проблемы с переносимостью; вы не сможете скомпилировать одну и ту же программу Java на разных архитектурах (при условии, что хотя бы один метод использовал максимальное количество параметров в архитектуре с большим размером слова).

Я нашел интересную проблему в информационном бюллетене об этом, http://www.javaspecialists.eu/archive/Issue059.html

Пул констант для каждого класса или интерфейса ограничен 65535 записями 16-битным полем constant_pool_count структуры ClassFile. Это действует как внутреннее ограничение на общую сложность одного класса или интерфейса. Объем кода для ненативного неабстрактного метода ограничен 65536 байтами размерами индексов в таблице исключений атрибута кода, в атрибуте LineNumberTable и в атрибуте LocalVariableTable.

Наибольшее число локальных переменных в массиве локальных переменных фрейма, созданного при вызове метода, ограничено 65535 размером элемента max_locals атрибута Code, дающего код метода. Обратите внимание, что значения типа long и double считаются зарезервированными за две локальные переменные и вносят две единицы в значение max_locals, поэтому использование локальных переменных этих типов дополнительно снижает этот предел.

Количество полей, которые могут быть объявлены классом или интерфейсом, ограничено 65535 размером элемента fields_count структуры ClassFile. Обратите внимание, что значение элемента fields_count структуры ClassFile не включает поля, унаследованные от суперклассов или суперинтерфейсов.