确定是否将相同的指针传递给宏

Question

有一组宏，用于调试、日志记录、堆栈跟踪显示等。其中一个是：

#define ASSERT_IF_NULL_2(_ptr1, _ptr2) \ 
    ASSERT(_ptr1);  \
    ASSERT(_ptr2);

这是我编写的宏的简化版本。如果断言（运行时）失败，我有自定义断言对话框，将此类空检查失败记录到日志文件中。还编写了宏，以便在编译时检查非指针（静态断言）。

现在，我正在寻找一些静态断言来检查两个指针​​是否实际上相同。示例：

int* ptr;
ASSERT_IF_NULL_2(ptr, ptr);

应该引发编译器错误，因为宏的两个参数相同。我不在乎指针是否指向相同的内存（因为那是运行时）。

我试过这样的表达方式：

int xx;
xx = 1 / (ptr-ptr);
xx = 1 / (&ptr - &ptr);

它们都没有给出被零除的编译器错误。 另外，我尝试过使用带有void* 的模板是模板参数：

template<void* T>
class Sample{};

但它不允许将局部变量指针传递给模板非类型参数。

我使用的是VC9，它不支持constexpr关键字（甚至VS2012也不支持）。我尝试使用 'const' 代替，这不会引发错误。我还将表达式用作数组大小，这总是会导致错误。

int array[(&ptr - &ptr)]; // Even with ptrdiff_t

Answer 1

好的，解决方案很简单。使用static_assert 和Stringizing Operator (#)：

#define ASSERT_TWO(a,b) static_assert((void*)#a != (void*) #b, "'" #a  "' and '" #b "' are same variables passed to ASSERT_TWO.") 

演示：

int *global;    

int main()
{
    int *local;

    ASSERT_TWO(global, local);  //should pass
    ASSERT_TWO(local, global);  //should pass

    ASSERT_TWO(global, global); //should fail
    ASSERT_TWO(local, local);   //should fail

    (void)local; //suppress unsused warning!
}

这会导致非常有用错误消息：

main.cpp：在函数'int main()'中：
main.cpp:18:5：错误：静态断言失败：“全局”和“全局”是传递给 ASSERT_TWO 的相同变量。
main.cpp:19:5: 错误：静态断言失败：“local”和“local”是传递给 ASSERT_TWO 的相同变量。

Online demo.

希望对您有所帮助。

_{我记得这对您没有帮助，因为您使用的是 VC9，但我保留此答案，因为它可能对其他人有所帮助。到目前为止，您可以使用其他生成重新声明错误的解决方案，与static_assert 消息相比，该错误消息的帮助较小。}

Answer 2

所以您想检查是否将相同的名称传递给两个参数，对吗？那么这个简单的技巧就奏效了

#define ASSERT_IF_NULL_2(_ptr1, _ptr2)\
{\
    int _check_##_ptr1;\
    int _check_##_ptr2;\
}\
ASSERT(_ptr1);\
ASSERT(_ptr2);

int main ()
{
    int* ptr1;
    int* ptr2;

    ASSERT_IF_NULL_2 (ptr1, ptr1); // error: redeclaration of `int _check_ptr1'
    ASSERT_IF_NULL_2 (ptr1, ptr2); // OK
}

编辑（由 OP，Ajay）：

在 Visual C++ 编译器上，我们可以使用 MS 特定关键字__if_exists 通过static-assert 给出错误：

 #define ASSERT_IF_NULL_2(_ptr1, _ptr2)\
    {\
        int _check_##_ptr1;\
        __if_exists(_check_##_ptr2) 
             STATIC_ASSERT(false, "Same pointer passed twice")
    }\

由于 VS2010 之前的编译器不存在 static_assert 关键字，因此可以使用自定义编写的 STATIC_ASSERT。

Answer 3

您是在检查指针是否指向相同的内存，或者它们是否指向相同的值？

第一种情况

xx = 1 / (ptr-ptr);

应该可以。

第二种情况

xx = 1 / (*ptr-*ptr);

应该可以。

Answer 4

不妨试试其中一种：

ASSERT_IF_NULL(ptr1 == ptr1);
ASSERT(ptr1 != ptr2)

正如 Nawaz 所指出的，你想要一个编译错误，所以试试这个：

1/(ptr1 != ptr2);
1/static_cast<int>(ptr1 != ptr2);
static_assert(ptr1 != ptr2, "Pointers are different")       //if you dont use c++0x look here:http://stackoverflow.com/a/1664651/258418