主页 / 问题 / 919807
Accepted
Jekyll Hyde
Asked:2020-12-14 12:01:40 +0000 UTC2020-12-14 12:01:40 +0000 UTC

元函数，用于确定模板中给定类型的函子特化的存在

  • 772

元函数接受要在模板中检查的类型。如果在 Method<given_type> 上定义了括号运算符，则元函数必须返回 true。否则为假。

#include <iostream>
#include <functional>

template<typename T>
struct Method {};

template<>
struct Method<int> {
    int operator()() { return 1; }
};

template<class T>
struct is_brackets_op_defined {
  static void Check(...);

  template<typename C>
  static decltype(Method<C>::operator()) Check(const C&);

  using type = decltype(Check(
    std::declval< Method<T> >()  
  ));

  constexpr static bool value =  
    !std::is_same<void, type>();
};

int main() {
    std::cout << is_brackets_op_defined<float>::value << std::endl;
}

即使存在特化，我的实现也总是返回 false（此处为 int）

std::cout << is_brackets_op_defined<float>::value // false
std::cout << is_brackets_op_defined<int  >::value // false
c++

3 个回答

  1. Best Answer

    调试元程序并不是最简单的事情，但无论如何我们都会尝试。

    is_brackets_op_defined<float>首先，让我们删除static void Check(...);. 这将帮助我们了解为什么编译器不喜欢重载版本Check（代码）。

    main.cpp:19:30: error: no matching function for call to 'is_brackets_op_defined<int>::Check(Method<int>)' main.cpp:17:42: note: candidate: 'template<class C> static decltype (Method<C>::operator()) is_brackets_op_defined<T>::Check(const C&) [with C = C; T = int]' main.cpp:17:42: note: template argument deduction/substitution failed: main.cpp: In substitution of 'template<class C> static decltype (Method<T>::operator()) is_brackets_op_defined<int>::Check<C>(const C&) [with C = Method<int>]':

    好吧，作为一个C功能Check来了Method<int>。显然，在这种情况下，构造对和Method<C>::operator()都给出了编译错误。根据 SFINAE，编译器会丢弃这个重载。intfloat

    我们需要以某种方式更改此表达式，以便它扩展为某种类型 forint并给出替换失败的 for float。在我看来&C::operator()，这将是正确的（代码）。

    原则上，这可以停止，但我不能不建议稍微简化代码。您可以将其用作返回值std::true_type，std::false_type这将丢弃std::is_same.

    UPD。评论中的问题提出了第二个改进。const C&您可以改用const C*. 这将摆脱std::declval，由于某种原因，它会在 GCC 下生成类型不完整的编译错误。

    #include <iostream>
#include <functional>

template<typename T>
struct Method;

template<>
struct Method<int> {
    int operator()() { return 1; }
};

template<class T>
struct is_brackets_op_defined {
  static std::false_type Check(...);

  template<typename C, class = decltype(&C::operator())>
  static std::true_type Check(const C*);

  using type = decltype(Check(static_cast<Method<T>*>(nullptr)));

  constexpr static bool value = type();
};

int main() {
    std::cout << std::boolalpha << is_brackets_op_defined<float>::value << std::endl;
    std::cout << std::boolalpha << is_brackets_op_defined<int>::value << std::endl;
}
    • 7

  2. 我不知道为什么您的代码不起作用，但是有一些东西可以使它起作用：

    template<typename C>
static decltype(std::declval<C>().operator()()) Check(const C&);

    您的代码中有一个明显的问题：Method<C>::operator()不正确的 C++，因为 它是一个不做任何事情的成员函数。你需要打电话给她或获取她的地址。

    • 6

  3. 它可以是这样的。请注意，辅助函数也是一个模板：

    #include <iostream>

template<class T> struct
is_brackets_op_defined
{
    private: template<typename C> static
    char ( & Check(...) )[1];

    private: template<typename C> static
    char ( & Check(decltype(&C::operator ())) )[2];

    public: static constexpr bool value{2 == sizeof(Check<T>(nullptr))};
};

struct ClassWith
{
    void operator ()() {}
};

struct ClassWithout
{
};

int main()
{
    std::cout << is_brackets_op_defined<float>::value << std::endl;
    std::cout << is_brackets_op_defined<ClassWith>::value << std::endl;
    std::cout << is_brackets_op_defined<ClassWithout>::value << std::endl;
    return 0;
}

    在线编译器

    • 0

相关问题