代码import RPi.GPIO as GPIO

import time

GPIO.setmode(GPIO.BOARD)

INT1 = 11

INT2 = 12

INT3 = 13

INT4 = 15

GPIO.setup(INT1.GPIO.OUT)

GPIO.setup(INT2.GPIO.OUT)

GPIO.setup(INT3.GPIO.OUT)

GPIO.setup(INT4.GPIO.OUT)

GPIO.output(INT1.GPIO.HIGH)

GPIO.output(INT2.GPIO.LOW)

GPIO.output(INT3.GPIO.HIGH)

GPIO.output(INT4.GPIO.LOW)

time.sleep(2)

GPIO.cleanup()

最后提示AttributeError: 'int' object has no attribute 'GPIO'是什么原因