函数返回类型中的模板类型推断

Template type deduction in function return type

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

在成员变量和函数参数的模板类型推导中发布的问题的延续

我的.h文件包含以下行。

#include <iostream>
#include <complex>
#include <typeinfo>

template <typename T>
class MyClass
 {

 template <typename T0>
struct myTypeTraits
 { using type = T0; };
template <typename T0>
struct myTypeTraits<std::complex<T0>>
 { using type = T0; };

public:
   using T0 = typename myTypeTraits<T>::type;
   void setVar1(const T0& v);
   void setVar2(const T& v);
 T0 getVar1() const;
T getVar2() const;


   void print() const;
   T0 var1;
   T  var2;
 };

.cpp文件具有以下代码。

#include "tmp.h"
template <class T>
void MyClass<T>::setVar1(const T0& v)
{
    var1 = v;
}

template <class T>
void MyClass<T>::setVar2(const T& v)
{
    var2 = v;
}

template <class T>
T0 MyClass<T>::getVar1() const
{
    return var1;
}

template <class T>
T MyClass<T>::getVar2() const
{
    return var2;
}

template <typename T>
void MyClass<T>::print() const
{
    std::cout<<"var1: "<<var1<<std::endl;
    std::cout<<"var2: "<<var2<<std::endl;
}

int main()
{
    MyClass<float> tmp;
    MyClass<std::complex<float> > tmp1;
    tmp.print();
    tmp1.print();
    return 0;
}

现在，当我使用 g++ 中的 C++ 11 支持编译代码时，出现以下错误。

tmp.cpp:17:1: error: ‘T0’ does not name a type
 T0 MyClass<T>::getVar1() const
 ^

如何删除错误？

编译器

无法知道T0是在MyClass<T>中定义的。因此，您需要正确限定 reutrn 类型：

template <class T>
typename MyClass<T>::T0 MyClass<T>::getVar1() const {
  return var1;
}

或者，您可以使用尾随返回类型，您也不需要限定该类型：

template <class T>
auto MyClass<T>::getVar1() const -> T0 {
  return var1;
}

尝试使用

// ......................vvvvvvvvvvvvvvvvvvvvvvv
void MyClass<T>::setVar1(typename MyClass<T>::T0 const & v)
{
    var1 = v;
}

getVar1()也是如此

相关文章：