返回变量名 C++

Question

我用这个代码

#define _(x) cout << #x;

作为宏，在程序的开头，返回一个变量名。它在 main 中运行良好，但在嵌套在其他函数中时根本不行。例如，如果定义

void print (int p)
{
   _(p); cout << "=" << p;
}

int main()
{
   int a=1, b=2;
   _(a); 
   cout << " = " << a;
   print(b);
}

输出将是 a = 1 p = 2

有什么办法克服这个问题吗？

Answer 1

#define _(x) cout << #x;
#define print(v) _(v); cout << "=" << v;

它的行为不符合您期望的原因是当您从函数内部调用它时，变量的名称是“p”。所以它完全按照你说的做，即使它不是你的意思。

Answer 2

这似乎工作正常。 a 和 p 的值分别是 1 和 2，这正是您的输出显示的内容。你期待什么输出？

如果您期望第二个输出是 b = 2，那么我认为您对该语言有根本的误解。该函数不知道调用函数在调用它时使用的变量名（如果它完全使用了变量）。具有普遍内省功能的高级语言可能能够做这样的事情，但 C++ 做不到。

也许更重要的是，通过查看代码或在基本调试器中运行代码，知道您还不知道的变量名称，您可以获得什么？

Answer 3

听起来您希望变量的名称成为变量本身的一部分。 C++ 不会在运行时给出变量名称。您在程序中使用的标识符仅指传递的值。

您可以定义明确包含名称的对象类型：

#include <iostream>
#include <string>

template< typename t >
struct named_value {
    t value;
    std::string name;
};

template< typename t >
void _( named_value< t > const &nv ) { // not a good name for a function
    std::cout << nv.name; // not a good semantic for a function
}

template< typename t >
std::ostream &operator<< ( std::ostream &s, named_value< t > const &v ) {
    return s << v.value;
}

typedef named_value< int > named_int;

void print (named_int p)
{
   _(p); std::cout << "=" << p;
}

int main()
{
   named_int a = { 1, "a" }, b = { 2, "b" };
   _(a); 
   std::cout << " = " << a;
   print(b);
}

http://ideone.com/AFHEq

但是，你真的不应该写这样的程序。

Answer 4

您需要以某种方式将信息传递给打印函数。

struct named {
    int &x_;
    const char *n_;
    operator int () const { return x_; }
    named(int &x, const char *n) : x_(x), n_(n) {}
};

const char * name (int, const char *s) { return s; }
const char * name (named &n, const char *s) { return n.n_; }

#define _(x) std::cout << name(x, #x)

void print (named p) {
    _(p); std::cout << " = " << p << std::endl;
}
#define print(x) print(named(x, #x))

int main() {
   int a=1, b=2;
   _(a); std::cout << " = " << a << std::endl;
   print(b);
}