“f(5)”和“int x;f(x)”调用不同的函数?

我想写两个不同的函数来处理一个常量值和一个给定类型的变量(即, int )

下面是示例测试用例:

int main(void) {
        int x=12;
        F(5); // this should print "constant"
        F(x); // this should print "variable"
}

我认为这足以定义:

void F(int v) {  cout << "constant\n"; }
void F(int& v) { cout << "variable\n"; }

这假设编译器将选择 int& 变量“更专业化”和 int 对于常量是唯一的选择)。然而, G++ 结果是:

test.cc: In function ‘int main()’:
test.cc:13: error: call of overloaded ‘F(int&)’ is ambiguous   // for line: F(x);
test.cc:4: note: candidates are: void F(int)
test.cc:5: note:                 void F(int&)

G+ 确实选择 F(int) 对于常量,但不知道为变量选择哪个函数。
有人知道为什么会这样吗?

背景 我正在用C++中的Prolog类似的统一方法进行实验。能够知道常量和变量之间的差异将有助于我在诸如 functor(x,5) <=> functor(3,5) .