2.78-写出具有如下原型的函数的代码:

接题目：

/*Divide by power of 2.Assume0<=k<w-1 */
int divide_power2(int x,int k);

该函数要用正确的舍入方式计算x/(2^k)，并且应该遵循位级整数编码规则。

开始作答 官方答案（已验证）

#include <stdio.h>
#include <assert.h>
#include <limits.h>

/*Divide by power of 2.
Assume0<=k<w-1 */
int divide_power2(int x, int k) { 
	int is_neg = x & INT_MIN; 
	(is_neg && (x = x + (1 << k) - 1)); 
	return x >> k; 
}

int main(int argc, char* argv[]) {
	int x = 0x80000007;
	assert(divide_power2(x, 1) == x / 2); 
	assert(divide_power2(x, 2) == x / 4);
	return 0;
}