generated at
二重拘束