小编for*_*818的帖子

考虑这个例子（来自这里）：

#include <type_traits>
#include <iostream>
template <typename U>
struct A {
};

struct B {
   template <typename F = int>
   A<F> f() { return A<F>{}; }

   using default_return_type = decltype(std::declval<B>().f());
};

int main()
{
    B::default_return_type x{};
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
}

它在 gcc9.2 上编译没有错误，但 gcc7.2 和 clang 10.0.0 抱怨B不完整。Clangs 错误是：

prog.cc:11:58: error: member access into incomplete type 'B'
   using default_return_type = decltype(std::declval<B>().f());
                                                         ^
prog.cc:7:8: note: definition of 'B' is not complete until the …

我正在尝试lambdas以及不同的lambda表达式具有不同类型的事实,即使它们是相同的.考虑这段代码

#include <iostream>

template <typename T> void once(T t){
    static bool first_call = true;
    if (first_call) t();
    first_call = false;
}

int main() {    
    int counter = 0;
    auto a = [&counter](){counter++;};
    once(a);
    once(a);
    std::cout << counter;              // 1

    auto b = a;                        // same type
    once(b);
    std::cout << counter;              // 1

    auto c = [&counter](){counter++;}; // different type
    once(c);
    once(c);               
    std::cout << counter;              // 2
}

此打印112,即,a和b是相同类型的,当然和c具有不同的类型.

是否允许编译器使用c的类型与a …

std::array是...（引用自cppreference）：

该容器是一个聚合类型，其语义与将 C 样式数组T[N]作为其唯一非静态数据成员的结构体具有相同的语义。

这是否意味着数组的地址始终与其第一个元素的地址相同，即data()？

#include <array>
#include <iostream>

int main()
{
    std::array<int,6> x{};
    std::cout << &x << "\n";
    std::cout << x.data();
}

可能的输出：

0x7ffc86a62860
0x7ffc86a62860

如果是的话，这有什么用吗？允许以下行为吗？

int* p = reinterpret_cast<int*>(&x);
for (int i=0;i<6;++i){ std::cout << p[i]; }

有人能解释我这里发生了什么......？

我有这个代码:

#include <fstream>
#include <string>
#include <iostream> 
int main(){   
    std::ifstream file("test.txt");    
    std::string x;
    while (true) { 
        if (!(file >> x)) return 0;
        std::cout << x << "\n";   
    }
}

...编译好,做它应该做的,到目前为止没问题.有时候,我不喜欢!这么多,因为它可以很容易被忽略,所以我取代了if用

if ((file >> x)==false) return 0;  

..突然我的编译器(gcc 4.8.5)抱怨警告:

 warning: converting ‘false’ to pointer type ‘void*’ [-Wconversion-null]
     if ((file >> x)==false) return 0;

这就是我开始感到困惑的地方.哪里void*来的？不>>返回应该转换为的引用bool吗？为什么false转换成void*？为什么在我不明确写的时候会触发相同的警告false？

出于好奇,我也尝试了这个:

if ((file>>x)==true) return 0;

从而引发一场错误风暴

error: no match for …

TL;DR：我正在寻找与以下 C++20 MWE 等效的 C++14：

template<int sz>
struct bits {
  int v; // note explicit(expr) below
  explicit(sz > 1) operator bool() const { return bool(v); }
};

int main() {
  bool c = bits<1>{1}; // Should work
  bool d = bits<3>{1}; // Should fail
}

语境：

bits<sz>我们有一个表示长度为位向量的C++ 类sz。过去，对 all 的转换bool是隐式的sz，但事实证明这很容易出错，因此我们改为operator bool()显式转换。

然而，1-bit位向量（在我们的上下文中）几乎完全等同于布尔值，因此当 时最好是operator bool()隐式的sz == 1。

explicit(sz > 1)这可以在C++20中实现，但我们的目标是 C++14。

我尝试重载 …

头文件中“使用命名空间”被认为是不好的做法的原因之一（为什么“使用命名空间 std;”被认为是不好的做法？）是因为它将 using 指令“泄露”给包含头文件的每个人。C++ 模块仍然是这种情况吗？或者我可以“安全地”将 例如using namespace std或using std::cout放入我的模块中吗？:

module;
#include <iostream>
export module Module;

using namespace std;
// using std::cout;
export void greet() {
    cout << "Hello World!\n";
}