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

Вопрос не возникает. Все передается одинаково, независимо от типа, значения, операционной системы, фазы луны и т. д.

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

Изменить. В вашем примере семантика handler не меняется в зависимости от типов аргументов. Либо присваивается переменным (именам AKA):

def my_handler(x):
    x = <whatever>

... но тогда my_handler(<anything>) не меняет, на какой объект ссылается аргумент (и не имеет значения, если вы передаете локальную переменную, атрибут объекта, результат более сложного выражения или что-то еще). Кстати, всё является объектом, ваши искусственные разграничения ("атомарные", "указатели на функции") не имеют смысла.

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

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

Если вам действительно нужно изменить значение переданной вам переменной, вы можете обернуть ее в массив, чтобы реализовать передачу по ссылке в процессе:

def increaseInt(i_var):
  i_var[0] += 1

i_ref = [42]
increase(i_ref)
print i_ref[0]  # will print 43

В некоторых случаях это может быть (бородавчатым) решением проблемы, подобной вашей.

Но в целом все значения в Python передаются по ссылке (в том смысле, что копии не создаются); некоторые значения просто неизменяемы (например, целые числа, строки, кортежи, …). Вы можете запутаться, присвоив новое значение переменной параметра — это точно не изменит значение, которое было в переменной параметра раньше, оно просто перезапишет его новым (и, таким образом, уберет дополнительную ссылку на исходное значение). Вот почему в приведенном выше примере ничего не присваивается i_var, а что-то присваивается i_var[0].