从元组中获取元素

getting an element from a tuple

本文关键字：元素 获取 元组      更新时间：2023-10-16

可能重复：
为什么不'；ADL找不到功能模板？

调用get似乎不会调用依赖于参数的查找：

auto t = std::make_tuple(false, false, true);
bool a = get<0>(t);        // error
bool b = std::get<0>(t);   // okay

g++4.6.0表示：

error: 'get' was not declared in this scope

Visual Studio 2010表示：

error C2065: 'get': undeclared identifier

为什么？

这是因为您试图通过提供0作为模板参数来显式地实例化get函数模板。在模板的情况下，如果具有该名称的函数模板在调用点可见，ADL就会工作。这个可见的函数模板只帮助触发ADL(实际上可能不会使用(，然后，可以在其他命名空间中找到最佳匹配。

请注意，触发(或启用(ADL的功能模板不需要定义：

namespace M
{
    struct S{};
    template<int N, typename T>
    void get(T) {}     
}
namespace N
{
   template<typename T>
   void get(T); //no need to provide definition
                // as far as enabling ADL is concerned!
} 
void f(M::S s)
{
   get<0>(s); //doesn't work - name `get` is not visible here 
}
void g(M::S s)
{
   using N::get; //enable ADL
   get<0>(s); //calls M::get
}

在g()中，名称N::get在调用get<0>(s)时触发ADL。

演示：http://ideone.com/83WOW

C++(2003(第14.8.1/6节内容如下：

[注意：对于简单的函数名称，即使函数名称在调用范围内不可见，也会应用依赖于参数的查找(3.4.2(。这是因为调用仍然具有函数调用的语法形式(3.4.1.(。但是，当使用具有显式模板参数的函数模板时，除非在调用时存在具有该名称的函数模板，否则调用不会具有正确的语法形式。如果没有这样的名称可见，则该调用的语法格式不正确，并且不应用依赖于参数的查找如果某个这样的名称可见，则应用依赖于参数的查找，并且可能在其他命名空间中找到其他函数模板。

[示例：

namespace A {
     struct B { };
     template<int X> void f(B);
}
namespace C {
     template<class T> void f(T t);
}
void g(A::B b) {
     f<3>(b);    //ill-formed: not a function call
     A::f<3>(b); //well-formed
     C::f<3>(b); //ill-formed; argument dependent lookup
                 // applies only to unqualified names
    using C::f;
     f<3>(b); //well-formed because C::f is visible; then
              // A::f is found by argument dependent lookup
}

--结束示例]-结束注释]

ADL不直接应用于模板id，如get<0>，因此编译器不会真正从该路径启动。C++11§14.8.1/8(在C++03，14.8.1/6中(：

[注意：对于简单的函数名称，即使函数名称在调用范围内不可见，也会应用依赖于参数的查找(3.4.2(。这是因为调用仍然具有函数调用的语法形式(3.4.1.(。但是，当使用具有显式模板参数的函数模板时，调用不具有正确的语法形式，除非在调用时存在具有该名称的函数模板。如果没有这样的名称可见，则该调用的语法格式不正确，并且不应用依赖于参数的查找。如果某个这样的名称可见，则应用依赖于参数的查找，并且可能在其他命名空间中找到其他函数模板。

它接着举了一个简短的例子。所以解决方法很简单：

#include <tuple>
template< typename > // BEGIN STUPID BUT HARMLESS HACK
void get( struct not_used_for_anything ); // END STUPIDITY
auto t = std::make_tuple(false, false, true);
bool a = get<0>(t);        // Now the compiler knows to use ADL!
bool b = std::get<0>(t);   // okay

http://ideone.com/fb8Ai

注意，上述not_used_for_anything仅仅是一种安全机制。它旨在成为一个从未完成的不完整类型。省略它也可以，但不安全，因为它可能会与您想要的签名冲突。

template< typename >
void get() = delete;

http://ideone.com/WwF2y

注：标准中的上述引用是非规范性的，这意味着在委员会看来，我们可以在没有解释的情况下理解这一点，因为它是由语言和语法的其余部分暗示的，特别是3.4.2中没有提到查找模板id。是的，对！

相关文章：