我如何找到模板函数返回的类型

How I can find type of template function return

本文关键字：函数 返回 类型 何找      更新时间：2023-10-16

我需要找到模板函数结果的类型，如下所示：

template<typename T>
T fun1(
T arg1,
result_fun<T>(some_fun)
);

或类似的东西。所以在标准库中，我找到了result_of(我也找到了invoke_result，它也不起作用(。所以我找到了我找到这个函数语法的帖子。它适用于虹吸代码，但是...它不适用于指针...示例(它和 IDEone 代码等于(：

#include <iostream>
#include <type_traits>
using namespace std;
template <typename T>
T *some(T x){
    return &x;
}
template<typename T>
void somestrange(T x, typename result_of<decltype(&some<decltype(x)>)(decltype(x))>::type z);
template<typename T>
void somestrange(T x, typename result_of<decltype(&some<decltype(x)>)(decltype(x))>::type z){
    cout << is_same<decltype(x), int>() << endl
     << is_same<decltype(z), int *>();
}
int main(){
    int x = 0;
    int *z = nullptr;
    somestrange(x, z);
    return 0;
}

这将是工作，但如果模板接收指针...

#include <iostream>
#include <type_traits>
using namespace std;
template <typename T>
T **some(T *x){
    return &x;
}
template<typename T>
void somestrange(T x, typename result_of<decltype(&some<decltype(x)>)(decltype(x))>::type z);
template<typename T>
void somestrange(T x, typename result_of<decltype(&some<decltype(x)>)(decltype(x))>::type z){
    cout << is_same<decltype(x), int>() << endl
     << is_same<decltype(z), int *>();
}
int main(){
    int *x = 0;
    int **z = nullptr;
    somestrange(x, z);
    return 0;
}

编译会生气的。所以我想我能做什么。我创造了自己的威力...所以我写了这样的东西：

#include <iostream>
#include <type_traits>
#include <utility>
#include <typeinfo>
using namespace std;
template<typename Fun, typename Arg>
inline auto myinvoke(Fun&& f, Arg&& arg)
    -> decltype(forward<Fun>(f)(forward<Arg>(arg)))
{
    return (forward<Fun>(f)(forward<Arg>(arg)));
}
template<typename Fun, typename Arg>
struct return_type {
    using type = decltype(myinvoke(declval<Fun>(), declval<Arg>()));
};
template<typename Fun, typename Arg>
using return_type_t = typename return_type<Fun, Arg>::type;

template <typename T>
T *some(T x){
    return &x;
}
template<typename T>
void somestrange(T x, return_type_t<decltype(some<T>), T> z);
template<typename T>
void somestrange(T x, return_type_t<decltype(some<T>), T> z){
    cout << is_same<decltype(x), int>() << endl
     << is_same<decltype(z), int *>();
}
int main(){
    int x = 0;
    int *z = nullptr;
    somestrange(x, z);
    return 0;
}

但是如果我在这里，你可以猜到它不起作用。你会是对的，因为它不适用于 ptr，同样不能result_of

： 
#include <iostream>
#include <type_traits>
#include <utility>
#include <typeinfo>
using namespace std;
template<typename Fun, typename Arg>
inline auto myinvoke(Fun && f, Arg&& arg)
    -> decltype(forward<Fun>(f)(forward<Arg>(arg)))
{
    return (forward<Fun>(f)(forward<Arg>(arg)));
}
template<typename Fun, typename Arg>
struct return_type {
    using type = decltype(myinvoke(declval<Fun>(), declval<Arg>()));
};
template<typename Fun, typename Arg>
using return_type_t = typename return_type<Fun, Arg>::type;

template <typename T>
T **some(T *x){
    return &x;
}
template<typename T>
void somestrange(T x, return_type_t<decltype(some<T>), T> z);
template<typename T>
void somestrange(T x, return_type_t<decltype(some<T>), T> z){
    cout << is_same<decltype(x), int>() << endl
     << is_same<decltype(z), int *>();
}
int main(){
    int *x = 0;
    int **z = nullptr;
    somestrange(x, z);
    return 0;
}

那么我能用它做什么呢？有人知道我如何解决这个问题(我只能使用 STL(？感谢您的回答

int *x = 0;
int **z = nullptr;
somestrange(x, z);

和

template<typename T>
void somestrange(T x, return_type_t<decltype(some<T>), T> z);
  • T会int*
  • some<T>期待T*论点

所以改为

template<typename T>
void somestrange(T* x, return_type_t<decltype(some<T>), T*> z);

或

template<typename T>
void somestrange(T* x, return_type_t<decltype(some<std::remove_pointer_t<T>>), T> z);

演示

或者不要明确指定模板，并允许扣除：

template<typename T>
void somestrange(T x, decltype(some(std::declval<T>())) z);

演示

相关文章：