Python Int32 to JSON

Question

Я не испытываю в Python и запутываюсь типами данных.

Я получаю поле типа Int32 от ROS (http://wiki.ros.org/msg), которые мне нужно сделать, чтобы быть частью JSON, но json.dumps терпит неудачу из-за типа Int32:

json.dumps(angle)
TypeError: data: 72 is not JSON serializable

Casting Int32 в целое число не может тоже, например, при использовании:

angle = int(angle or 0)
TypeError: int() argument must be a string or a number, not 'Int32'

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

EDIT: Спасибо другим, что сообщения об ошибке на самом деле говорят «TypeError: data: 72 не является сериализуемым JSON» - показывает, что эта переменная фактически имеет значение «data: 72», а из-за моей неопытности с Python я думал, что часть данных «data:» сообщения об ошибке была получена из ошибки, а не из переменной. Думаю, было бы более очевидно, если бы были использованы котировки:

TypeError: "data: 72" is not JSON serializable

Во всяком случае, это, очевидно, ошибка новобранец. Извиняюсь.

Answer 1

Понял, благодаря @Tui и @ Joran, указывая, что это сообщение от ROS находится в формате «данные: 72», поэтому я превратил его в строку и разделил ее на пробел, а затем повернул номер детали в номер:

angle = str(angle).split(' ')
angle = int(angle[1])

Answer 2

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

angle.data 

Так что в вашем случае это должно быть:

json.dumps(angle.data) 

---

наводки на будущее: вы всегда можете посмотреть на структуру типа сообщения, используя rosmsg show на терминале. Например

rosmsg show std_msgs/Int32 

Имеет следующий вывод:

int32 data

Таким образом, вы можете увидеть, что сообщение Int32 состоит из одного поля с именем data, который имеет тип int32 (с небольшим «я» так это действительно целое число).