Questions tagged «c++11»

在阅读C ++ Primer书籍时，我遇到了这样的说法：“数组中元素的数量是数组类型的一部分。” 因此，我想使用以下代码进行查找： #include<iostream> int main() { char Array1[]{'H', 'e', 'l', 'p'}; char Array2[]{'P', 'l', 'e', 'a', 's', 'e'}; std::cout<<typeid(Array1).name()<<std::endl; //prints A4_c std::cout<<typeid(Array2).name()<<std::endl; //prints A6_c return 0; } 有趣的是，两个数组上的typeid结果表明它们有所不同。 幕后发生了什么事？ 为什么数组必须具有包含其大小的类型？仅仅是因为它的大小不应该改变吗？ 这将如何影响比较数组？ 只是希望能够深刻理解这个概念。

14 c++  arrays  c++11 

我有一个函数模板，它接受许多不同的类型。在这些类型中，只有其中一种具有getInt()功能。因此，我希望代码仅针对该类型运行函数。请提出解决方案。谢谢 #include <type_traits> #include <typeinfo> class X { public: int getInt(){ return 9; } }; class Y{ }; template<typename T> void f(T& v){ // error: 'class Y' has no member named 'getInt' // also tried std::is_same<T, X>::value if(typeid(T).name() == typeid(X).name()){ int i = v.getInt();// I want this to be called …

13 c++  c++11  templates  c++14  metaprogramming 

在cppreference.com的文档中std::memory_order，有一个宽松订购的示例： 轻松订购 带标签的原子操作memory_order_relaxed不是同步操作；它们不会在并发内存访问之间强加顺序。它们仅保证原子性和修改顺序的一致性。 例如，如果x和y最初为零， // Thread 1: r1 = y.load(std::memory_order_relaxed); // A x.store(r1, std::memory_order_relaxed); // B // Thread 2: r2 = x.load(std::memory_order_relaxed); // C y.store(42, std::memory_order_relaxed); // D 被允许以产生R1 == R2 == 42，因为尽管A被测序-之前线程1中B和C 之前测序线程2内d，没有什么阻止由在y的修改次序出现A之前D和B，从按x的修改顺序出现在C之前。D在y上的副作用对于线程1中的负载A可见，而B在x上的副作用对于线程2中的负载C可见。特别是，如果D在C in之前完成，则可能发生这种情况。线程2，由于编译器重新排序或在运行时。 它说：“在线程2中，C在D之前被排序”。 根据可以在评估顺序中找到的按顺序排序的定义，如果A在B之前排序，则A的评估将在B的评估开始之前完成。由于C在线程2中在D之前被排序，因此C必须在D开始之前完成，因此快照的最后一句的条件部分将永远无法满足。

13 c++  multithreading  c++11  language-lawyer  as-if 

以下代码使用gcc和clang（以及许多其他C ++ 11编译器）进行编译 #include <stdint.h> typedef int datatype; template <typename T> struct to_datatype {}; template <> struct to_datatype<int16_t> { static constexpr datatype value = 1; }; template <typename T> class data { public: data(datatype dt = to_datatype<T>::value) {} }; int main() { data<char> d{to_datatype<int16_t>::value}; } 使用（几乎）最新的MSVC编译时 > cl .\test.cpp /std:c++latest …

13 c++  c++11  visual-c++ 

我尝试理解C ++的表达式类型，我读的越多，我就越困惑，因为我发现C ++草案很难理解，因此倾向于使用其他资源，但是它们彼此矛盾，或者没有考虑到C ++版本之间的措辞和定义有很大的变化。 在下文中，我指的是以下草案： C ++ 11 [ n3690 ]（最终草案） C ++ 17 [ n4659 ]（最终草案） C ++ 20 [ n4835 ]（当前草案） C++11 3.10左值和右值 ... prvalue（“纯” rvalue）是不是xvalue的rvalue。[示例：调用返回类型不是引用的函数的结果是prvalue。文字的值（例如12、7.3e5或true）也是prvalue。—结束示例] C++17 3.10左值和右值 ... prvalue是一个表达式，其求值初始化一个对象或位域，或计算一个运算符的操作数的值，该值由其出现的上下文指定。 C++20 7.2.1值类别* ... prvalue是一个表达式，其求值初始化一个对象或位字段，或者计算一个运算符的操作数（由其出现的上下文指定），或者是cv void类型的表达式。 我会理解措词的更改，并进行了一些调整，但对我而言，整个定义都会更改。有人可以帮我理解吗？例如，为什么删除了一个句子，即prvalue是不是xvalue的rvalue？还是为什么删除了有用的示例？

13 c++  c++11  c++14  c++17  c++20 

例： typedef enum Color { RED, GREEN, BLUE } Color; void func(unsigned int& num) { num++; } int main() { Color clr = RED; func(clr); return 0; } 编译时出现以下错误： <source>: In function 'int main()': <source>:16:9: error: cannot bind non-const lvalue reference of type 'unsigned int&' to an rvalue of type …

12 c++  c++11  rvalue-reference  rvalue  lvalue 

我遇到了以下这些陈述： resize(n)–调整容器的大小，使其包含“ n”个元素。 shrink_to_fit()–减小容器的容量以适应其尺寸，并破坏超出容量的所有元素。 这些功能之间有什么显着区别吗？他们在C ++中处于向量之下

11 c++  c++11  vector  containers  capacity 

我知道编译器生成的函数，三个规则和五个规则。在实际情况下，准确地找出编译器实际创建了哪些编译器生成的函数（构造函数，赋值运算符，析构函数）可能并不容易。 有什么方法可以列出特定类的编译器生成的函数吗？ 我主要对Visual Studio 2019和Xcode感兴趣，但是更欢迎使用通用解决方案。

11 c++  c++11 

知道为什么以下代码段无法编译吗？它报错“错误：？的操作数：具有不同的类型” auto lambda1 = [&](T& arg) { ... }; auto lambda2 = [&](T& arg) { ... }; auto lambda = condition ? lambda1 : lambda2;

11 c++  c++11  lambda  conditional-operator 

是否可以执行以下（人为的示例）或未定义的行为： // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

11 c++  c++11  const  undefined-behavior 

鉴于lambda的类型是可确定的（可强制转换为a std::function（请纠正我，如果我错了，请纠正我）），重载函数应该同时使用两个函子。已定义？（[&]() -> Type {}） 请注意，对于我当前的解决方案，我需要按引用捕获，这就是为什么代码包含其逻辑的原因。 以下示例描述了该问题： #include <iostream> #include <string> #include <functional> void do_some(std::function<void(int)> thing) { thing(5); } void do_some(std::function<bool(int)> thing) { if (thing(10)) { std::cout << "it's true!" << std::endl; } } int main() { int local_to_be_modified = 0; do_some( [&](int in) { local_to_be_modified = in; std::cout << …

11 c++  c++11  lambda  implicit-conversion  std-function 

我有在字符串容器中查找并打印出模式匹配项的代码。在模板化的函数foo中执行打印 编码 #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class Container> void foo(Iterator first, Container<std::pair<Iterator, Iterator>> const &findings) { for (auto const &finding : findings) { std::cout << "pos = " << std::distance(first, finding.first) << " "; std::copy(finding.first, finding.second, std::ostream_iterator<char>(std::cout)); …

10 c++  c++11  templates  language-lawyer  template-templates 

考虑以下程序： #include <cstdint> using my_time_t = uintptr_t; int main() { const my_time_t t = my_time_t(nullptr); } 无法使用msvc v19.24进行编译： <source>(5): error C2440: '<function-style-cast>': cannot convert from 'nullptr' to 'my_time_t' <source>(5): note: A native nullptr can only be converted to bool or, using reinterpret_cast, to an integral type <source>(5): error C2789: 't': …

10 c++  c++11  gcc  visual-c++  clang 

我一直在这里阅读有关删除类型引用的信息。 它给出以下示例： #include <iostream> // std::cout #include <type_traits> // std::is_same template<class T1, class T2> void print_is_same() { std::cout << std::is_same<T1, T2>() << '\n'; } int main() { std::cout << std::boolalpha; print_is_same<int, int>(); print_is_same<int, int &>(); print_is_same<int, int &&>(); print_is_same<int, std::remove_reference<int>::type>(); // Why not typename std::remove_reference<int>::type ? print_is_same<int, std::remove_reference<int &>::type>();// Why …

10 c++  c++11  templates  typetraits  dependent-name 

有std::array<T, N>::size()，但它是非静态的，因此它需要一个实例std::array。有没有办法得到它返回值（是N的std::array<T, N>，而不需要构建阵列的一个实例）？对于普通数组，我本可以使用sizeof，但是我看不到任何保证sizeof(std::array<T, N>) == N * sizeof(T)。

9 c++  arrays  c++11  sizeof