C++编写真值表代码时如何避免conjunction函数的歧义错误？

你遇到的歧义报错核心诱因如下：

• 如果你在代码开头写了using namespace std;，在C++17及更高标准中，标准库的<type_traits>头文件（通常会被其他标准头文件间接引入）提供了一个名为std::conjunction的模板元工具，和你自定义的同名函数产生命名冲突，调用时编译器无法判断应该匹配哪一个实现。
• 除此之外你的代码还存在几个隐含问题：
  • 缺少头文件声明，需要引入#include <iostream>才能使用输入输出能力
  • 循环条件写了a < 1，只会遍历到0这一个值，无法生成完整的真值表，要覆盖bool的两个取值应该改为a < 2
  • 没有给cout指定命名空间，如果没写using namespace std;直接调用cout会直接触发编译报错

你可以选择任意一种方案解决冲突：

1. 直接重命名自定义函数（最推荐）

把你写的conjunction函数改成my_conjunction、logic_and这类不会和标准库重名的名称，一劳永逸解决命名冲突问题。

2. 明确指定函数作用域

你自定义的函数属于全局命名空间，调用时添加全局作用域限定符::，把调用语句改成cout << ::conjunction(!A, B) << endl;，明确告诉编译器调用全局作用域下的自定义函数，而非标准库的实现。

3. 移除using namespace std;声明

日常编码尽量不要使用using namespace std;语句，所有标准库组件都加std::前缀使用，比如std::cout、std::endl，从根源上避免标准库命名和自定义命名产生冲突。

#include <iostream>

bool conjunction(bool, bool);
bool disjunction(bool, bool);
    
int main()
{
    bool A, B, C, D;
    // 循环条件改为<2才能遍历0、1两个bool取值
    for (int a = 0; a < 2; a++) {
        A = a;
        for (int b = 0; b < 2; b++) {
            B = b;
            for (int c = 0; c < 2; c++) {
                C = c;
                for (int d = 0; d < 2; d++) {
                    D = d;
                    std::cout << A << "|" << B << "|" << C << "|" << D << std::endl;
                    // 加全局作用域限定符明确调用自定义函数
                    std::cout << ::conjunction(!A, B) << std::endl;
                }
            }
        }
    }
}

bool conjunction(bool p, bool q)
{
    return p && q;
}

bool disjunction(bool p, bool q)
{
    return p || q;
}

• C++标准迭代过程中会不断向std命名空间新增名称，尽量不要在全局作用域下定义和标准库常见词汇重名的函数、类
• 生成N位真值表时循环终止条件要设为i < 2才能覆盖0和1两个取值
• 尽量避免使用using namespace std;，尤其是在头文件中，避免全局命名空间污染

内容的提问来源于stack exchange，提问作者user17270179