Questions tagged «c++17»

3月21日，标准委员会投票通过了弃用P0174中std::iterator提议的建议： 与读者typedef在类定义本身中简单地提供期望的s相比，冗长的void参数序列对读者而言并不十分清楚，这是当前工作草案采用的方法，遵循的c + + 14 之前 C ++ 17std::iterator鼓励从继承继承，以从迭代器样板实现中删除乏味。但是弃用将需要以下其中一项： 迭代器样板现在将需要包含所有必需的typedefs 使用迭代器的算法现在将需要使用auto而不是依赖迭代器来声明类型 Loki Astari建议在std::iterator_traits不继承的情况下进行更新以使其正常工作std::iterator 在设计自定义迭代器时，有人可以启发我应该选择哪些选项吗？ C ++ 17 兼容性？

76 c++  iterator  standards  deprecated  c++17 

从C ++ 17开始，我们可以std::string_view轻松查看连续的字符序列，从而避免了不必要的数据复制。const std::string&现在通常建议使用而不是有参数来代替std::string_view。 但是，人们很快发现，从切换const std::string&到std::string_view使用字符串连接的代码会中断，因为不支持连接std::string和std::string_view： std::string{"abc"} + std::string_view{"def"}; // ill-formed (fails to compile) std::string_view{"abc"} + std::string{"def"}; // ill-formed (fails to compile) 为什么要为串联不支持std::string和std::string_view标准？

76 c++  string  c++17  string-view 

该委员会将基于范围的for循环从： C ++ 11： { auto && __range = range_expression ; for (auto __begin = begin_expr, __end = end_expr; __begin != __end; ++__begin) { range_declaration = *__begin; loop_statement } } 到C ++ 17： { auto && __range = range_expression ; auto __begin = begin_expr ; auto __end = end_expr ; …

71 c++  c++11  for-loop  c++17 

这似乎是一个愚蠢的问题，但是return xxx;在一个函数中明确定义“执行”的确切时间吗？ 请参见以下示例，以了解我的意思（此处直播）： #include <iostream> #include <string> #include <utility> //changes the value of the underlying buffer //when destructed class Writer{ public: std::string &s; Writer(std::string &s_):s(s_){} ~Writer(){ s+="B"; } }; std::string make_string_ok(){ std::string res("A"); Writer w(res); return res; } int main() { std::cout<<make_string_ok()<<std::endl; } 我天真地希望发生的事情make_string_ok称为： 的构造函数res称为（值为resis "A"） 的构造函数w称为 return res被执行。应该返回res的当前值（通过复制的当前值res），即"A"。 的析构函数 …

69 c++  language-lawyer  c++17  object-lifetime  copy-elision 

考虑以下两种可以表示“可选int”的方法： using std_optional_int = std::optional<int>; using my_optional_int = std::pair<int, bool>; 鉴于这两个功能... auto get_std_optional_int() -> std_optional_int { return {42}; } auto get_my_optional() -> my_optional_int { return {42, true}; } ... g ++干线和clang ++干线 （带有-std=c++17 -Ofast -fno-exceptions -fno-rtti）都会产生以下汇编： get_std_optional_int(): mov rax, rdi mov DWORD PTR [rdi], 42 mov BYTE PTR [rdi+4], 1 …

69 c++  performance  assembly  x86-64  c++17 

假设您需要调用以下方法： std::tuple<int, int, int> foo(); 在C ++ 17中，您可以调用该函数并在一行中解压缩该元组： auto [a, b, c] = foo(); 现在，我怎么能继续只存储b和c并丢弃a？ 目前，我只知道两个选择： 1-自动解压缩时可以使用虚拟变量 但是，哑变量将不被使用，并且会发出警告，因此，如果我想使该警告保持沉默，该代码将非常令人讨厌： #pragma warning(push) #pragma warning(disable:4101) // ReSharper disable once CppDeclaratorNeverUsed auto [_, b, c] = foo(); #pragma warning(pop) 2-我可以存储整个元组，并用于std::get检索对我唯一需要的变量的引用。该代码不太令人讨厌，但语法也不太简单。 此外，对于我们要保留在元组中的每个新值，此代码的大小增加一行。 auto tuple = foo(); int b = std::get<1>(tuple); int c = std::get<2>(tuple); 是否存在另一种更直接的方法来仅将元组中的某些参数解包？

69 c++  tuples  c++17 

有点前景：我的任务需要将UTF-8 XML文件转换为UTF-16（当然具有正确的标头）。因此，我搜索了将UTF-8转换为UTF-16的常用方法，发现应该使用中的模板<codecvt>。 但是，现在不赞成使用它，我想知道执行相同任务的新通用方法是什么？ （完全不介意使用Boost，但除此之外，我更喜欢尽可能接近标准库。）

69 c++  utf-8  c++17  utf-16  codecvt 

我试图弄清楚如何获取自身内部的lambda函数的地址。这是一个示例代码： []() { std::cout << "Address of this lambda function is => " << ???? }(); 我知道我可以在变量中捕获lambda并打印地址，但是我想在执行此匿名函数时就地执行该操作。 有没有更简单的方法？

53 c++  c++11  lambda  c++14  c++17 

前几天进行一些模板元编程时遇到了奇怪的事情。基本上可以归结为这个断言没有（正如我期望的那样）通过。 static_assert(std::is_same_v<void(), std::remove_reference_t<void()&>>); 起初我以为我在定义函数引用时犯了语法错误，但是这个断言通过了，表明事实并非如此。 static_assert(std::is_same_v<void()&, void()&>); 我还尝试实现remove_reference自己从cppreference复制源，但这也不起作用。这里发生了什么？

38 c++  templates  types  c++17 

有没有办法检查两个函数是否具有相同的签名？例如： int funA (int a, int b); int funB (int a, int b); float funC (int a, int b); int funD (float a, int b); 在此示例中，funAand funB是应该返回的功能的唯一组合true。

35 c++  function  c++17  c++-standard-library  function-signature 

在C ++ 17中，如何声明和初始化带有可选元素的对（或元组）向量？ std::vector<std::pair<int, optional<bool> > > vec1 = { {1, true}, {2, false}, {3, nullptr}}; 我有一对，其中第二个元素可能为null /可选。

34 c++  vector  c++17  optional  std-pair 

这段代码不能在Clang（6,7,8,9，trunk）中进行编译，但是在GCC（7.1、8.1、9.1）中可以很好地进行编译： template<class T> struct TypeHolder { using type = T; }; template<int i> class Outer { private: template<class T> static constexpr auto compute_type() { if constexpr (i == 42) { return TypeHolder<bool>{}; } else { return TypeHolder<T>{}; } } public: template<class T> using TheType = typename decltype(Outer<i>::compute_type<T>())::type; }; int main() …

28 c++  language-lawyer  c++17  clang++ 

考虑下面的代码。 struct any { template <typename T> operator T &&() const; template <typename T> operator T &() const; }; int main() { int a = any{}; } 此处，第二个转换运算符由过载分辨率选择。为什么？ 据我了解，这两个运算符分别推导为operator int &&() const和operator int &() const。两者都在可行的功能集中。通读[over.match.best]并没有帮助我弄清楚为什么后者更好。 为什么后一种功能比前一种更好？

27 c++  language-lawyer  c++17  overload-resolution 

自我解释。 基本上说我有这样的类型列表： using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; 它们可以是各种类型的类型列表。 如何获得笛卡尔积的类型列表？ result = type_list< type_list<int, somestructB, double>, type_list<int, somestructB, short>, type_list<somestructA, somestructB, double>, type_list<somestructA, somestructB, short> >; 我确实涉足如何创建如下所示的双向笛卡尔乘积：如何创建类型列表的笛卡尔乘积？，但n方法似乎并不那么琐碎。 现在我正在尝试... template <typename...> struct type_list{}; // To concatenate template <typename... Ts, typename... Us> constexpr auto …

26 c++  templates  c++17  variadic-templates 

说我有shared_ptr一个自定义分配器和自定义删除器的。 我在标准中找不到任何内容讨论删除器的存储位置：它没有说自定义分配器将用于删除器的内存，也没有说 不会。 这是未指定的还是我只是缺少了什么？

22 c++  language-lawyer  c++17  shared-ptr  allocator