12.4 虚功和理想约束