[C++]协变返回类型
C++协变返回类型是指在派生类中重写基类的虚函数时，可以返回比基类函数返回类型更具体的派生类类型。这样做的好处是可以更灵活地处理对象的多态性。
协变返回类型的概念是在C++11中引入的，它允许派生类中的重写函数返回基类函数返回类型的派生类类型。这样做的目的是为了提供更好的代码可读性和灵活性。
协变返回类型的分类：
- 单一继承：在单一继承的情况下，派生类可以返回基类的指针或引用。
- 多重继承：在多重继承的情况下，派生类可以返回某个基类的指针或引用。
协变返回类型的优势：
- 提高代码可读性：通过使用协变返回类型，可以更清晰地表达派生类函数的返回类型，使代码更易读。
- 增加灵活性：协变返回类型允许派生类返回比基类更具体的类型，这样可以更灵活地处理对象的多态性。
协变返回类型的应用场景：
- 多态性的处理：当基类和派生类之间存在多态性关系时，使用协变返回类型可以更好地处理多态性的情况。
- 接口设计：在设计接口时，如果希望派生类能够返回比基类更具体的类型，可以使用协变返回类型。
腾讯云相关产品和产品介绍链接地址：
腾讯云提供了丰富的云计算产品和服务，以下是一些与协变返回类型相关的产品和链接地址：
- 腾讯云函数计算（SCF）：腾讯云函数计算是一种事件驱动的无服务器计算服务，可以用于处理协变返回类型相关的业务逻辑。产品介绍链接：https://cloud.tencent.com/product/scf
- 腾讯云容器服务（TKE）：腾讯云容器服务是一种高度可扩展的容器管理服务，可以用于部署和管理支持协变返回类型的应用程序。产品介绍链接：https://cloud.tencent.com/product/tke
- 腾讯云数据库（TencentDB）：腾讯云数据库提供了多种数据库产品，可以用于存储和管理与协变返回类型相关的数据。产品介绍链接：https://cloud.tencent.com/product/cdb
请注意，以上链接仅供参考，具体产品选择应根据实际需求进行评估和决策。
相关·内容
在C++中，在派生类中减少返回类型的cv-限定符是有效的：
class Base {
virtual const Base* f();
};
class Derived : public Base {
Base* f() override;
};
这对指向基本类型的指针有效吗？
class Base {
virtual const int* f();
};
class Derived : public Base {
int* f() override;
};
浏览 2提问于2014-03-19得票数 7
回答已采纳
下面的C++代码在编译时会给出以下错误：
covariant.cpp:32:22: error: invalid covariant return type for ‘virtual Q<B> C::test()’
covariant.cpp:22:22: error: overriding ‘virtual Q<A> B::test()’
我不想将行virtual Q<B> test() {}更改为virtual Q<A> test() {}，尽管它删除了编译错误。有没有别的办法来解决这个问题？
template <class T&g
浏览 3提问于2013-06-23得票数 6
回答已采纳
2回答
协变量虚拟函数与智能指针
、、、、
在C++中，子类在重写虚拟函数时可以指定不同的返回类型，只要返回类型是原始返回类型的子类(并且两者都作为指针/引用返回)。
是否也可以将此功能扩展到智能指针？(假设智能指针是某个模板类)
为了说明：
class retBase {...};
class retSub : public retBase {...};
class Base
{
virtual retBase *f();
};
class Sub : public Base
{
virtual retSub *f(); // This is ok.
};
class smartBase
{
v
浏览 5提问于2009-07-12得票数 8
回答已采纳
我正在尝试为Arduino编译一个来自的例子。我得到了这个错误：
In file included from sha1test.pde:1:
C:\Program Files (x86)\Arduino\libraries\Sha/sha1.h:26: error: conflicting return type specified for 'virtual void Sha1Class::write(uint8_t)'
C:\Program Files (x86)\Arduino\hardware\arduino\cores\arduino/Print.h:48: error
浏览 5提问于2013-10-13得票数 2
回答已采纳
这意味着定义trait Option[T]与trait Option[+T]相同。
可以很容易地考虑val humanOpt: Option[Human]可以指向Option[Student]实例，就像val humanOpt: Human可以指向Student实例一样。
也许这听起来有些奇怪，但为什么我会这么想呢？
Java变量默认为多态，与c++相比，它应该使用virtual关键字，我认为在Java中简化OO是一个重要的问题。
Scala在许多用例中使用高级类型，这与Java相比更为频繁，例如Option、Try或自己定义Cache[T]。
此外，它仍然符合Liskov替代原则。
我只想知
浏览 1提问于2017-11-24得票数 1
回答已采纳
1回答
我“知道”(希望如此)MSVC9.0实现了C++ 2003 ()。我正在寻找这一事实的参考，我也在寻找任何已经在MSVC 9.0与该版本的标准的兼容性方面所做的研究。
我已经搜索过了，但没能从MicroSoft中找到一个具体的参考资料，它实际上说明了MSVC2003实现了C++。一些过时的文档说“这个版本达到了大约98%的符合性()”(指的是MSVC .NET 2003对C++ 1997的符合性)。但我想要一个来自微软的文档的链接，上面写着"MSVC 9.0实现了什么“，另一个链接是到一个测试MSVC 9.0一致性的独立组织。
你知道有这样的链接吗？
浏览 2提问于2010-05-26得票数 0
回答已采纳
1回答
我有一个第一个类A，它包含一个带有虚方法的迭代器嵌套类：
template <typename T >
class A {
public:
class iterator {
public:
virtual ~iterator() {};
virtual T& operator++();
};
virtual iterator begin() const = 0;
};
我有第二个B类，它覆盖了虚拟方法：
template <typename T >
class B :
浏览 4提问于2017-12-27得票数 3
1回答
我希望在c++中，如果它在基类和派生类(包括名称、参数和返回类型)中具有相同的签名，则可以重写它。
如果我试着编译这样的代码，那么这两种方法(get，get2)都会失败：
#include <iostream>
class A
{
public:
A() {}
virtual int get() { return 0; }
virtual int *get2() { return 0; }
};
class B : public A
{
public:
B() {}
float get() override { return 0.f; }
float *
浏览 1提问于2020-11-09得票数 0
回答已采纳
我正在查看action book中的scala，它有以下代码
sealed abstract class Maybe[+A] {
def isEmpty: Boolean
def get: A
def getOrElse[B >: A](default: B): B = {
if(isEmpty) default else get
}
}
final case class Just[A](value: A) extends Maybe[A] {
def isEmpty = false
def get = value
浏览 2提问于2014-06-08得票数 2
1回答
Scala匿名函数一般方差问题
、、、、
我在学习Scala的路上，我很难理解逆变、协变、不变性等。从中，我学到了如何将函数视为另一个函数的子类型。(知道这点真的很有用！)
下面的代码是我认为是解决我的难题的重要部分。我已经提取了一些我认为会给问题增加不必要复杂性的部分。根据示例，我有一个Student对象，它将作为一个工厂来生成函数。
函数将接受AnyVal的类型或子句(Int、Double、Long等)，并且返回的输出将是相同的输入类型。为此，学生类接受一个泛型(A)，它是AnyVal的一个子类型。抽象类在那里，所以我可以通过执行类似List的操作来引用这些学生的列表。
问题是我不能有行"val function: Lis
浏览 4提问于2013-09-08得票数 0
我将尝试缩短此代码示例：
public interface IThing
{
//... Stuff
}
public class Thing1 : IThing
{
}
public class Thing2 : IThing
{
}
public interface IThingView<out T>
{
ICollection<T> ViewAll();
}
public class ThingView<T> : IThingView<T>
{
ICollection<T> ViewAl
浏览 2提问于2011-05-27得票数 7
回答已采纳
6回答
我找到了一个解释，但我并不聪明，无法理解所有的东西。
我认为协变返回类型理论上是由一个函数返回的类型，该函数与返回类型不同的内置基类函数具有相同的签名。
class Base{
TypeX func( int i ){return typex;} // builtin function
};
class Derived:Base{
TypeY func(int i){return typey;}
}
我对这个所谓的协变返回类型的理解正确吗？这个词真的让我很困惑。
浏览 2提问于2012-01-25得票数 2
回答已采纳
在下面的代码中，我得到了以下编译错误：
1>c:\users\mittamani\desktop\06-10\over_riding_test\over_riding_test\over_riding_test.cpp(33) : error C2555: '_D1::fun': overriding virtual function return type differs and is not covariant from 'Base2::fun'
1> c:\users\mittamani\desktop\06-10\over_ri
浏览 5提问于2014-10-14得票数 4
回答已采纳
1回答
我是c++的初学者，所以如果我的问题是愚蠢的，请原谅。我有四门课：ProgramNodeBase，ProgramNode，FunctionBase，Function。ProgramNode来自ProgramNodeBase，Function来自FunctionBase。ProgramNodeBase有指向FunctionBase的指针向量和可以从它返回项的方法。是否有可能在派生类ProgramNode中重写此方法，使其返回Function而不是FunctionBase？我在这里看了一些答案，但没有找到任何返回类型派生的地方。
我之所以问这个问题，是因为我有一些需要Function的方法，这只能
浏览 3提问于2015-04-09得票数 1
回答已采纳
1回答
自动实现属性的C#协变返回
、、、、
如你所知，。我需要帮助将其应用于一组具有自动实现属性的类。
我有两个表示金融银行帐户和交易的抽象类。我将它们抽象，因为我将从不同的数据源提取数据，虽然主要属性在所有源中都是通用的，但每个源可能有我想要保留的附加字段。两个类别之间存在一对多关系(一个帐户有多个事务，而一个事务只属于一个帐户)。
public abstract class BankAccount
{
public string Name { get; set; }
public IList<Transaction> Transactions { get; set; } = new List<Tr
浏览 7提问于2021-03-06得票数 1
1回答
在我的应用程序中，我使用不同的web来获取汽车信息。对于我已经实现的服务，我实现了ICarService。由于所有这些Api返回的汽车数据都不一样，我已经实现了ICar接口，因此每个服务都可以返回自己类型的汽车，但在我的应用程序中，我可以使用“通用”ICar。
以下是我的实现：
// Car Model
public interface ICar
{
string Color { get; }
}
public class CarApiA : ICar
{
public int car_color { get; set; }
public Color
{
浏览 0提问于2014-03-17得票数 1
回答已采纳
我在阅读Java 8中的接口时遇到了这个主题，在某些情况下，我们使用default或static关键字在接口中定义方法，允许下一个子节点重新定义相同的方法或实现它。这是否意味着多重继承？还有一个我发现的问题是，返回类型必须是协变类型，否则编译问题，这意味着它仍然不支持多重继承？我们可以说java支持多重继承吗？让我知道更多关于这个话题的细节。
浏览 1提问于2016-04-29得票数 11
回答已采纳
我使用List.Contains来判断变量是否在列表中，但是它不断地返回它不是的时候。
我已经查找了，并注意到我必须继承IEquatable并实现自己的.Equals方法。实际的类是从另一个类继承的，因此我在基类.Equals 中编写了方法。
下面是“Actividad”类的代码：
abstract public class Actividad:IEquatable<Actividad> {
protected int codigo;
[...]
public bool Equals(Actividad otra)
{
ret
浏览 0提问于2012-04-16得票数 1
回答已采纳
3回答
%t必须是相反有效的。
、、、、
这有什么问题呢？
interface IRepository<out T> where T : IBusinessEntity
{
IQueryable<T> GetAll();
void Save(T t);
void Delete(T t);
}
上面写着：
无效的方差:类型参数'T‘在'MyNamespace.IRepository.Delete(T)’上必须是相反有效的。'T‘是协变的。
浏览 0提问于2011-02-18得票数 38
回答已采纳
我想以不同的方式使用我的接口(接口必须是协变的)，但是编译器给了我错误的c#编译器错误：-‘参数必须是输入安全的。无效的方差。类型参数'T’在'Expression'上必须是不变的，这是我的代码：
interface IRepository<out T> where T : BaseEntity
{
IEnumerable<T> Find(Expression<Func<T, bool>> predicate);
T FindById(Guid id);
}
浏览 2提问于2014-06-17得票数 7
3回答
我发现我可以做到以下几点：
package test.java.lang;
import java.util.Arrays;
public class Tester_ArrayCloning_01 {
public static void main(String[] args) {
double[] vals1 = {1.2, 2.3, 3.4, 4.5};
double[] vals2;
// vals2 = (double[])vals1.clone(); // was thinking
浏览 0提问于2013-03-19得票数 4
回答已采纳
假设我有一个函数
DoSomething(Dictionary<object, object> dict)
为什么不能用
DoSomething(new Dictionary<int, string>())
由于int和string都是从object继承的，所以我认为这是可行的。我知道我可以把它扩展到
DoSomething<T1, T2>(Dictionary<T1, T2> dict)
但为什么第一种选择行不通呢？
浏览 9提问于2013-12-16得票数 3
回答已采纳
我在反冲源中偶然发现了这部分类型记录/index.d.ts：
export class AbstractRecoilValue<T> {
__tag: [T];
__cTag: (t: T) => void; // for contravariance
key: NodeKey;
constructor(newKey: NodeKey);
}
在这里，__cTag是如何作为反方差的鉴别器的？
以下是完整的上下文：
浏览 8提问于2021-08-17得票数 4
回答已采纳
1回答
我试图根据一个标志返回两个存储库实例中的一个。我的Repository接口和实现如下所示：
public interface IRepository<T>
{
T Insert(T entity);
void Delete(T entity);
IEnumerable<T> SearchFor(Expression<Func<T, bool>> predicate);
IEnumerable<T> GetAll();
T SearchForFirst(Expression<Func<
浏览 1提问于2012-08-23得票数 2
回答已采纳
1回答
我有一个数据结构实验室，老师问我“创建‘类散列实现哈希器’，所以当你重写散列(IpAddress)时，它会为参数的ipValue对hashCode的调用返回一个长对象，问题是我不知道如何重写返回长值的方法的接口(返回一个整数)。
如有任何帮助或建议，将不胜感激
public class IpAddressValueHasher implements Hasher<IpAddress> {
@Override
public long hash(IpAddress ip) { //error on this line, can't return long
浏览 0提问于2017-06-30得票数 0
我不明白为什么我不能用这个签名来调用一个方法：
public void Test(Tuple<int, IEnumerable<string>> x);
就像这样：
Test(Tuple.Create(4, new List<string>()))
我认为这与协方差/逆方差有关，但这只是一种猜测。有人能分享他的聪明吗？
浏览 0提问于2011-06-22得票数 2
回答已采纳
1回答
类型差异
、
以下总结了我对C#中差异的理解。如果你能告诉我问题出在哪里，我会很感激，因为我读过埃里克·利珀特( Eric )在上发表的那篇文章，我无法理解其中的大部分内容。
方差是指一种类型的转换(或者像Eric Lippert所说的那样的投影)可以保持赋值兼容性(协方差)，或者逆转它(反方差)，或者既不能保持它，也不能逆转它(不变性)。也就是说，如果我是T中的协变量转换，其中T是一组类型，那么对于T中的任何T1和T2类型，如果T1可分配给T2，则I<T1>可分配给I<T2>。如果我是反差的话，结果就会恢复。如果我是不变的，那么I<T1>既不能分配给I<T2>
浏览 2提问于2013-04-26得票数 1
回答已采纳
2回答
此代码在g++ 6.1下编译成功，但在clang 3.8下出现错误：
class C;
class Base {
public:
virtual const C *getC();
};
class Derived : public Base {
public:
virtual C *getC();
};
clang产生的错误如下：
$ dev/compilers/linux-x86_64-2.12.2/clang3.8/bin/clang++ -Wall -c testcovariantreturn.cxx
testcovariantreturn.cxx:10:20:
浏览 28提问于2016-07-23得票数 19
回答已采纳
1回答
我已经到处寻找我的简单问题的答案，但我可能只是不理解提供的解决方案，或者我没有在正确的术语下搜索。我有一个并行继承层次结构，有两个抽象基类，每个基类都可能有许多子类。伪UML：
Node -----------> NodeData
^ ^
| |
| |
SpecialNode -----> SpecialNodeData
因为Node类型的对象引用了NodeData类型的对象，所以当SpecialNode
浏览 2提问于2012-11-23得票数 1
我读过这篇关于协方差/反方差的文章：
例子非常清楚。然而，我很难理解最后得出的结论：
如果您查看Run+A和Vet的定义，您可能会注意到，类型A只出现在Run+A方法的返回类型中，并且只出现在Vet方法的参数中。更普遍的情况是，生成A类型值的类型可以在A上进行协变(就像您对Run+A所做的那样)，而在A上使用A类型值的类型可以在A上生成反变体(就像您对Vet所做的那样)。
从上面的段落中，您可以推断只有getter的类型可以是协变量的(换句话说，不可变的数据类型可以是协变的，Scala标准库的大多数数据类型也是这样)，但是可变的数据类型必然是不变的(它们有getters和setter，因此它
浏览 0提问于2017-11-10得票数 0
回答已采纳
1回答
我是Scala的新手，目前正在学习Scala中的类型参数，我遇到了以下场景。
假设我有两个类A和B，其中B是A的子类型。
class A {
...
}
class B extends A {
...
}
所以我可以说B <: A。
这是否也意味着List[B] <: List[A]
浏览 0提问于2012-10-14得票数 5
回答已采纳
1回答
这篇文章()说IEnumerable<T>是反变种的。但是，类型T是协变的，因为它是一个out参数。那么在什么情况下IEnumerable<T>是逆变的呢?？
希望我没有弄糊涂！提前感谢您的回答！
浏览 2提问于2010-07-11得票数 4
回答已采纳
1回答
给定某种类型T的模板化包装器
template<typename T>
struct Wrapper {
T* value;
};
如果我想给包装器一些多态的行为，我通常会在sfinae中使用一些模板化的运算符。一个ctor，例如：
template<typename Base>
template<typename Derived, enable_if_t<is_base_of<T,From>::value,int> = 0>
Wrapper<Base>::Wrapper(Wrapper<Derived>
浏览 2提问于2021-03-26得票数 0
1回答
我有一个从父类继承的子类，但是子类也会选择一个模板参数。这两个类都有一个“克隆”函数，它只调用它们的复制构造函数。我希望使副本变为虚拟的，这样子类将始终调用它自己的副本。
以下是问题的简化版本：
#include <iostream>
using namespace std;
class Parent
{
public:
virtual Parent foo() { cout << "Parent Foo\n"; return *this; }
};
template <class T>
class Child : public
浏览 3提问于2014-07-28得票数 0
回答已采纳
我在玩仿制药，我发现了一个我真的搞不懂的问题。请看一下下面的代码：
class Operation<R> {
}
class P<O extends Operation<R>, R> {
}
class MyResource {
}
class MyO extends Operation<MyResource> {
}
class MyP extends P<MyO, MyResource> {
}
abstract class A<R> {
abstract P<Operation<R>
浏览 2提问于2014-03-13得票数 5
回答已采纳
3回答
C#泛型类型的助记符
、、、、
我经常忘记在定义协变和逆变泛型类型时是否必须使用或。在java中，我有助记符PECS (生产者扩展消费者超级)来帮助我。你知道类似于c#的助记符吗？
浏览 2提问于2010-08-28得票数 3
1回答
trait Account[T <: Account[T]]
case class BrokerAccount(total:BigDecimal) extends Account[BrokerAccount]
case class SavingsAccount(total:BigDecimal) extends Account[SavingsAccount]
下面的函数声明和调用工作正常。
def foo1( xs: Array[T forSome { type T <: Account[T] }]):Array[T forSome { type T <: Account[
浏览 2提问于2016-05-25得票数 2
我在用泛型建立继承时遇到了问题。
本质上，我想要做的是拥有一个通用接口，它本身可以接受一个接口。棘手的部分是，“内部”接口可能有一个更具体的接口分层在上面。
下面是我试图构建的结构的一个有代表性的示例：
public interface IThing { }
public interface IMoreSpecificThing : IThing { }
public interface IWidget<T> where T : IThing { }
public class MySpecificThing : IMoreSpecificThing { }
pub
浏览 1提问于2013-09-30得票数 3
回答已采纳
1回答
对于下面的问题，我正在研究正确的语法和结构。
我有两个数据集和两个独立的模式--分别称为ClientEvent和ServerEvent--存储在磁盘上。我正在开发的代码库定义了一个类Reader[T :< Asset]，其中ClientEvent和ServerEvent是Asset的子类型。Asset是一种特性。
我正在编写一个函数：
def getPathAndReader(config): (String, Reader[Asset]) = {
if (config.readClient) {
return getClientPathAndReader(con
浏览 0提问于2019-01-12得票数 1
5回答
<out T>和<T>有什么区别？例如：
public interface IExample<out T>
{
...
}
与
public interface IExample<T>
{
...
}
浏览 0提问于2012-06-09得票数 229
回答已采纳
我正在尝试将boost::any对象列表传递给一个函数。
这是我的尝试：
typedef std::list<boost::any> Any_List_Type;
typedef std::list<int> Int_List_Type;
void printAnyListSize(Any_List_Type anyListType)
{
printf("Any list size(%d) \n", anyListType.size();
return;
}
void showInstListSize(Int_List_Type intL
浏览 8提问于2012-09-28得票数 0
你能在一些简单的TypeScript例子中解释一下什么是方差、协方差、逆方差和协方差吗？
浏览 51提问于2021-02-28得票数 5
回答已采纳
4回答
虚函数返回的枚举协方差
、、、
为什么C++不能将enum MyEnum : int识别为int的协变
示例：
#include <iostream>
enum FooType : int
{
Crazy = 0,
Cool
};
enum BarType : int
{
Hello = Cool + 1,
World
};
class Foo
{
public:
Foo(void)
{
}
~Foo(void)
{
}
virtual int
浏览 0提问于2012-11-08得票数 3
我有一个不相关的协变接口和泛型类。我希望协变量接口具有一个属性，它是协变量类型上的泛型类的实例，如下所示。
public interface IFoo<out T>
{
Bar<T> barobj { get; set; }
}
public class Bar<T>
{
}
不幸的是我搞错了
Error CS1961无效方差:类型参数'T‘在'IFoo.barobj’上必须不变有效。不‘是协变的。
这是否意味着不可能拥有使用协变量类型作为参数的泛型类型的协变量接口？我在这里做错什么了吗？
浏览 3提问于2021-04-09得票数 0
3回答
我有一个问题，我不明白如何在接口中使用泛型(可能是因为协方差和反方差目前对我来说还不太清楚)。
我有一个接口，其中我定义了一个getter和setter，它应该以类型化的方式接受任何东西(没有对象作为类型)，例如：
public interface IDummy <T>
{
int SomeCommonMethod() ;
T Anything { get; set; }
}
现在，我定义了前面定义的接口的一些具体实现。
public class MyStrObj : IDummy <string>
{
private string _
浏览 0提问于2014-05-23得票数 3
回答已采纳
2回答
C# 3.5协方差问题？
、、、
我已经听说/阅读了很多关于C#中协方差问题的文章，我想提出几个问题&场景，希望我能澄清我在这个问题上的困惑。
在所有这些例子中，请假定始终定义了以下内容：
public class Apple : Fruit {}
我的第一个例子：
IList<Apple> apples = GetApples();
IList<Fruit> fruits = apples;
这应该能行，对吧？我在C#中测试了几次，它编译得很好&运行得很好(我对第一个示例的测试略高于此，因为我有多态调用，可以将内容打印到控制台)。
第二个例子：
IList<Apple> a
浏览 7提问于2011-07-05得票数 8
回答已采纳
"-“和"+”用于特征签名(如trait Function2[-T1, -T2, +R] extends AnyRef )中的输入和返回类型的目的和定义是什么？
有人能建议在规范中的确切位置来阅读它吗？
浏览 3提问于2014-08-13得票数 4
回答已采纳
我使用两个具有相同方法签名的接口，并尝试在名为Parent和child的类中实现。然而，我搞不懂为什么协变返回类型在这里不起作用。
interface First
{
public long show();
}
interface Second
{
public int show();
}
abstract class Parent implements First,Second
{
public long show(){
re
浏览 4提问于2020-08-16得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
