24
4
The following code does not compile in C++17 but from C++20 on:
以下代码不能在C++17中编译，而是从C++20开始编译：
个人中心
文章发布
退出#include <tuple>
int main() {
auto t = std::make_tuple(1, 2);
get<0>(t); // no std:: required!
return 0;
}
Since this works with both g++ and clang++ and both -stdlib=libc++ and -stdlib=libstdc++ and even in msvc with /std:c++20, I wonder whether this is a "feature". What is the rationale behind this? Is there more pollution to the global namespace besides this?
由于这既适用于g++和clang++，也适用于-stdlib=libc++和-stdlib=libstdc++，甚至在带有/std：c++20的msvc中也适用，所以我想知道这是不是一个“特性”。这背后的理由是什么？除此之外，是否还有更多对全局命名空间的污染？
I disagree with the duplicate mark, as ADL is only half of the explanation... But since there is already an excellent answer, it doesn't really matter.
我不同意重复标记，因为ADL只是解释的一半…但既然已经有了一个很好的答案，这实际上并不重要。
std::get is found by argument-dependent lookup (ADL), because t has a type that is a specialization of the class template std::tuple which is located in the same namespace scope as the std::get overload you want to use. This is behavior that has always existed in C++ and is fundamental to making operator overloading work, as well as other customizable function calls like swap.
Std：：Get是通过参数相关查找(ADL)找到的，因为t的类型是类模板std：：tuple的专门化，它位于与要使用的std：：Get重载相同的命名空间作用域中。这是C++中一直存在的行为，是使操作符重载以及其他可定制函数调用(如SWAP)工作的基础。
The reason it fails in C++17 has nothing to do with whether std::get is found, but rather with the rules that determine whether or not the < following get is the less-than operator or the start of an template argument list. Before C++20, if the unqualified name before the < wasn't found at all by usual unqualified (non-ADL) lookup, the program was ill-formed. Since C++20 it is assumed to introduce a template argument list in this situation.
它在C++17中失败的原因与是否找到std：：GET无关，而是与确定<后面的GET是小于操作符还是模板参数列表的开始的规则有关。在C++20之前，如果通过通常的非限定(非ADL)查找根本找不到<前面的非限定名称，那么程序就是格式错误的。从C++20开始，假设在这种情况下引入模板参数列表。
For example, if you add a function template named get, regardless of signature, e.g.
例如，如果添加一个名为GET的函数模板，而不考虑签名，例如
template<typename T>
void get();
into your global namespace scope, then < will also be assumed to introduce a template argument list because this function template is found for get by usual unqualified lookup, even in C++17. Then ADL applies to the call as usual (this has always worked this way in every C++ edition) and std::get will be found as candidate as well.
在您的全局命名空间作用域中，则还将假定<引入一个模板参数列表，因为这个函数模板是通过通常的非限定查找为GET找到的，甚至在C++17中也是如此。然后，ADL照常应用于调用(这在每个C++版本中总是以这种方式工作)，并且STD：：GET也将被发现为候选者。
24
4
0
我正在开发一个小型图书馆，我需要做的一件事是让访问者访问一些数据并返回结果。 在一些较旧的 C++ 代码中，访问者需要声明一个 typedef return_type .例如，boost::stati
我正在尝试使用std:map类型的键和值制作std::any Visual Studio 2017 std::map m("lastname", "Ivanov"); std::cout (m["la
我已经在 C++ 的 map 中声明了一个集合为 std::map> .如何循环访问或打印设定值？ 最佳答案 如果你知道如何迭代 std::map或 std::set单独地，您应该可以毫无问题地组合迭
如何循环？ 我已经试过了: //----- code std::vector >::iterator it; for ( it = users.begin(); it != users.end();
我有两个用例。 A.我想同步访问两个线程的队列。 B.我想同步两个线程对队列的访问并使用条件变量，因为其中一个线程将等待另一个线程将内容存储到队列中。 对于用例 A，我看到了使用 std::lock_
我正在查看这两种类型特征的文档，但不确定有什么区别。我不是语言律师，但据我所知，它们都适用于“memcpy-able”类型。 它们可以互换使用吗？ 最佳答案 不，这些术语不能互换使用。这两个术语都表示
我有以下测试代码，其中有一个参数 fS，它是 ofstream 的容器: #include #include #include #include int
这是这个问题的延续 c++ function ptr in unorderer_map, compile time error 我试图使用 std::function 而不是函数指针，并且只有当函数是
std::unordered_map str_bool_map = { {"a", true}, {"b", false}, {"c", true} }; 我们可以在此映射上使
我有以下对象 std::vector> vectorList; 然后我添加到这个使用 std::vector vec_tmp; vec_tmp.push_back(strDRG); vec_tmp.p
为什么 std::initializer_list不支持std::get<> , std::tuple_size和 std::tuple_element ？在constexpr中用得很多现在的表达式，
我有一个像这样定义的变量 auto drum = std::make_tuple ( std::make_tuple ( 0.3f , Ex
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户？我想要下面的原型(prototype) const std
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户？我想要下面的原型(prototype) const std
问题 我正在尝试将 lambda 闭包传递给 std::thread，它使用任意封闭参数调用任意封闭函数。 template std::thread timed_thread(Function&& f
我想创建一个模板类，可以容纳容器和容器的任意组合。例如，std::vector或 std::map ，例如。 我尝试了很多组合，但我必须承认模板的复杂性让我不知所措。我编译的关闭是这样的: templ
我有一个 std::vector>我将其分配给相同类型的第二个 vector 。 我收到这个编译器错误: /opt/gcc-8.2.0/include/c++/8.2.0/bits/stl_algob
有时候，我们有一个工厂可以生成一个 std::unique_ptr vector ，后来我们想在类/线程/你命名的之间共享这些指针。因此，最好改用 std::shared_ptr 。当然有一种方法可以
这个问题在这里已经有了答案: Sorting a vector of custom objects (14 个答案) 关闭 6 年前。 我创建了一个 vector vector ，我想根据我定义的参
我有三个类(class)成员: public: std::vector > getObjects(); std::vector > getObjects() const; privat
我是一名优秀的程序员,十分优秀！