用c++编写一个程序，求一个4行4列的整数矩阵的鞍点。注意：一个矩阵可能有0到多个鞍点。 提示：可以考虑用反证法实现，即先假设矩阵中目标元素是鞍点，如果发现该元素所在行中还有元素比其大，或者该元素所在列中还有元素比其小，则不是鞍点。约定输入的矩阵元素之间有一个空格，鞍点输出的格式为“[鞍点行下标][鞍点列下标]=鞍点取值”，每输出一个鞍点后输出换行符。

以下是一个可能的C++程序实现：

#include<iostream>
using namespace std;

int main()
{
    int matrix[4][4]; // 定义矩阵
    int i, j, k, flag; // 定义循环变量和标志变量

    // 输入矩阵
    for(i=0;i<4;i++){
        for(j=0;j<4;j++){
            cin>>matrix[i][j];
        }
    }

    // 查找鞍点
    for(i=0;i<4;i++){
        for(j=0;j<4;j++){
            flag = 1; // 假设matrix[i][j]为鞍点
            for(k=0;k<4;k++){
                if(matrix[i][j]<matrix[i][k]){ // 在行中有比matrix[i][j]大的元素
                    flag = 0;
                    break;
                }
            }
            if(flag == 1){ // 在行中没有比matrix[i][j]大的元素
                for(k=0;k<4;k++){
                    if(matrix[i][j]>matrix[k][j]){ // 在列中有比matrix[i][j]小的元素
                        flag = 0;
                        break;
                    }
                }
            }
            if(flag == 1){ // 在列中没有比matrix[i][j]小的元素，即matrix[i][j]为鞍点
                cout<<"["<<i<<"]["<<j<<"]="<<matrix[i][j]<<endl;
            }
        }
    }

    return 0;
}

其中，我们先定义一个 `matrix` 数组来存储输入的矩阵，然后利用三层循环遍历矩阵的每一个元素，对于每个元素，我们先假设它是一个鞍点，然后分别在该元素所在行和列中查找是否存在比它大和比它小的元素，如果存在，则说明该元素不是鞍点，否则输出该元素的位置和值即可。