我们可以创建一个 IF 语句来确定变量是否已在 C/C 中声明为指针吗？

Question

假设变量 pa 始终声明为以下两种方式之一：

双 * pa

或

双屏

我们可以创建一个执行以下操作的 IF 语句吗

IF（pa是指针） { 帕[0] = 1 }

其他 { pa = 1}

编辑：

请参阅 如何在C++/C中查找指针数组是否已被填充作为后续问题

Answer 1

C++0x std::is_pointer 工作原理的基础知识：

template <typename T>
struct is_pointer_helper {
    static const bool value = false;
};

template <template T>
struct is_pointer_helper<T*> {
    static const bool value = true;
};

对于此示例，我们不想使用该类型，因此我们需要一些模板参数推导：

template <typename T>
bool is_pointer(const T &) {
    return is_pointer_helper<T>::value;
}

我们就完成了：

if (is_pointer(pa)) {
    pa[0] = 1;
} else {
    pa = 1;
}

但是，请注意，除非 pa[0] = 1 和 pa = 1 都是有效表达式（并且对于 double< /code> 也不是 double*它们都有效吗？如果您设置为 0，那么两者都对 double* 有效，但对于 double 仍然只有第二个有效）。因此，您可能想要的不是显式的“if”测试，而是重载函数：

template <typename T>
void set_thingy(T &t) {
    t = 1;
}

template <typename T>
void set_thingy(T *pt) {
    set_thingy(*pt);
}

set_thingy(pa);

或者，因为 pa 始终是 double 或 double* ，没有必要关注一个是指针而另一个不是的事实，它们只是我们需要区别对待的两种不同类型。所以不需要模板：

void set_thingy(double &d) { d = 1; }
void set_thingy(double *p) { *p = 1; }

set_thingy(pa);

Answer 2

不直接，不。假设有一种方法可以做到这一点，例如

if (__IS_POINTER(pa) {
    pa[0] = 1;
}
else {
    a = 1;
}

如果 pa 不是指针会发生什么？您的程序中仍然有 pa[0] = 1; 语句，并且它是非法的，因此编译器将拒绝您的程序。

原则上您也许能够进行编译时测试：

#if __pa_IS_A_POINTER
pa[0] = 1;
#else
a = 1
#endif

但是 C++ 预处理器的功能非常有限；它无法测试变量或表达式的类型。

如果你有这个能力，你会用它做什么？告诉我们您的实际目标是什么。

Answer 3

在 C++0x 中，您可以使用类型特征和 decltype：

#include <type_traits>

if (std::is_pointer<decltype(x)>::value)
{
  /* ... */
}

在 C++98/03 中，您没有 decltype，但现在您必须解释你怎么可能在不知道变量类型的情况下拥有它。如果你确实有它的类型，你可以使用相同的类型特征：

#include <tr1/type_traits>
template <typename T> void bogus(T x) // T could be a pointer or not
{
  if (std::tr1::is_pointer<T>::value) { /*...*/ }
}

如果你没有或不想使用 TR1，你也可以定义自己的特征类：

template <typename> struct is_pointer { static const bool value = false; };
template <typename T> struct is_pointer<T*> { static const bool value = true; };