【答案】D

【考纲知识点】辗转相除法（欧几里得算法）

【解析】gcd1()使用递归实现，gcd2()使用迭代实现，A和B正确。
递归在调用栈中会为每次调用分配额外空间，因此当a较大且递归次数多时，gcd1()辅助空间消耗也会多，C正确。
D错误，因为递归通常比迭代多了函数调用开销，执行效率并不会更高，甚至可能更低。因此正确答案是D。