在编译时检查变量是否为有符号/无符号，可以使用C++的类型特征来实现。以下是一个示例代码：

#include 
#include 

// 检查是否为有符号类型
template 
bool isSigned() {
    return std::is_signed::value;
}

// 检查是否为无符号类型
template 
bool isUnsigned() {
    return std::is_unsigned::value;
}

int main() {
    int a = 10;
    unsigned int b = 20;

    std::cout << "a is signed: " << isSigned() << std::endl;
    std::cout << "b is unsigned: " << isUnsigned() << std::endl;

    return 0;
}

在这个示例代码中，我们使用了std::is_signed和std::is_unsigned类型特征来检查变量的有符号/无符号属性。std::is_signed::value返回一个bool值，表示类型T是否为有符号类型。同样，std::is_unsigned::value返回一个bool值，表示类型T是否为无符号类型。

在main函数中，我们声明了一个有符号整数a和一个无符号整数b。然后使用isSigned和isUnsigned模板函数来检查它们的属性，并输出结果。

运行这个示例代码，将会输出：

a is signed: 1
b is unsigned: 1

这表示变量a是有符号的，变量b是无符号的。