函数模板的 C++ Decltype

Question

我想创建一个重载模板，如果一个类包含它，它会运行一个函数 Foo() ，否则它什么都不做。

class A
{
public:
    template <typename U>
    void Foo(U& u)
    {
        std::cout << "Has Foo()" << std::endl;
        // Modify u
    }
};

class B
{
    // Does not contain Foo()
};

我一直在尝试运行它

template <typename T, typename U>
decltype(std::declval<T>().Foo()) TriggerFoo(T* t, U& u)
{
    t->Foo(u);
}
template <typename T, typename U>
void TriggerFoo(T* t, U& u)
{
    std::cout << "Does not have Foo()" << std::endl;
}

int main()
{
    A a;
    B b;
    U u;     // Some type

    TriggerFoo<A, U>(&a, u);    // I want to print "Has Foo()".
    TriggerFoo<B, U>(&b, u);    // Prints "Does not have Foo()".

    return 0;
}

目前，这两个类都被传递给“没有 Foo()”实例化。 它可以编译，但显然它不起作用，这很可能是因为我不太了解 declval。 我也尝试过非模板函数，但它仍然不起作用。

任何帮助将不胜感激。

Answer 1

Sam 答案的扩展，如果您不使用指针，则可以进一步简化代码，使其看起来更整洁。

#include <iostream>
#include <type_traits>

class A
{
public:
    template <typename U>
    void Foo(U& u)
    {
        std::cout << "Has Foo()\n";
    }
};

class B
{
    // Does not contain Foo()
};

template <
  typename T,
  typename U,
  typename Z=decltype(std::declval<T>().Foo(std::declval<U&>()))>
void TriggerFoo(T& t, U& u)
{
    t.Foo(u);
}

template <typename... T>
void TriggerFoo(const T&...)
{
    std::cout << "Does not have Foo()\n";
}

class U {};

int main()
{
    A a;
    B b;
    U u;

    TriggerFoo<A, U>(a, u);    // I want to print "Has Foo()".
    TriggerFoo<B, U>(b, u);    // Prints "Does not have Foo()".

    return 0;
}

Answer 2

您的方法存在两个基本问题：

decltype(std::declval<T>().Foo())

这将永远不会成功解决，因为有问题的Foo()将始终采用参数。 这部分应该是：

decltype(std::declval<T>().Foo(std::declval<U &>()))

但是现在你会遇到一个不同的问题：当类实现Foo() ，模板解析将变得模糊不清。 可以使用模板功能。

因此，您需要另一级别的间接，以及不同优先级的模板：

#include <iostream>
#include <type_traits>

class A
{
public:
    template <typename U>
    void Foo(U& u)
    {
        std::cout << "Has Foo()" << std::endl;
        // Modify u
    }
};

class B
{
    // Does not contain Foo()
};

template <typename T, typename U, typename Z=decltype(std::declval<T>().Foo(std::declval<U &>()))>
void DoTriggerFoo(T* t, U& u, int dummy)
{
    t->Foo(u);
}

template <typename T, typename U>
void DoTriggerFoo(T* t, U& u, ...)
{
    std::cout << "Does not have Foo()" << std::endl;
}

template <typename T, typename U>
void TriggerFoo(T *t, U &u)
{
    DoTriggerFoo(t, u, 0);
}

class U {};

int main()
{
    A a;
    B b;
    U u;     // Some type

    TriggerFoo<A, U>(&a, u);    // I want to print "Has Foo()".
    TriggerFoo<B, U>(&b, u);    // Prints "Does not have Foo()".

    return 0;
}

gcc 5.3的结果：

$ ./t
Has Foo()
Does not have Foo()

PS：

std::declval<T &>().Foo(std::declval<U &>())

您的实际课程可能会更好地运作。