草庐IT

c++ - 重载是否违反里氏替换原则？

coder 2024-02-24 原文

我是 OOP 的新手。最近我读到有关 Liskov 替换原则的内容。

在下面给出的代码中，Square类继承了Give_Area。假设 Square 类有一些与正方形相关的事情(比如有效性检查)。 Give_Area 给出正方形的面积(4 个顶点在圆的周长上)和圆的面积。所以，如果给我一个 Radius，我必须打印圆和正方形的面积(由放置在该圆周长上的顶点组成)。为了获得圆的面积，我使用了一个参数。但是在获取正方形面积时没有参数。因此我在这里完成了重载。

#include<iostream>
#include<cmath>
using namespace std;

class Give_Area
{
    public:
    double Radius;

    double Area(double pi)
    {
        return pi*Radius*Radius;
    }

    double Area()
    {
        double temp = sqrt(2.0)*Radius;
        return temp*temp;
    }
};

class Square : public Give_Area
{
    public:
    bool Validity()
    {
        //checking validity
    }
};

int main()
{
    Give_Area* area = new Square();
    area->Radius = 3.0;
    cout<< "Area of Circle: " << area->Area(3.14159) <<endl;
    cout<< "Area of Square: " << area->Area() <<endl;
    return 0;
}

我的问题是..

Is this overloading violating Liskov Substitution Principle?

如果此代码违反，那么有人可以给我一个不违反里氏替换原则的重载示例吗？

我用谷歌搜索了我的查询，但一无所获。 :(

提前致谢。

最佳答案

语言服务提供商

Liskov's Substitution Principle (或 LSP)是关于抽象的。想象一个类 Shape 和两个类 Square 和 Rectangle 从 Shape 派生。现在 Shape 有一个(虚拟)方法 getArea()。您会期望它返回被(具体的、实例化的!)形状覆盖的区域，不管它实际是什么类型。因此，如果您在 Shape 实例上调用 getArea()，您不关心它是矩形、正方形 还是您能想到的任何其他形状。

答案

如果没有重载，甚至不需要像 LSP 这样的东西，即答案是否定的，重载和 LSP 并不矛盾。

设计

另一方面，正如 paxdiablo 指出的那样，应用 LSP 取决于设计。就上面的示例而言，这意味着，也许出于某种原因，您实际上确实关心您是否有一个矩形。那么，在这种情况下，LSP 会建议您考虑自己的设计。

你的代码

在这一点上我必须承认，我真的不明白你的代码的目标是什么。有一个类 Give_Area 可以根据 pi 的值计算圆的面积。第二种方法计算以 Radius 为对角线的正方形？然后是 Square 类。如果 Validity() 返回 false，那意味着什么？也许是一个退化的广场？我的建议是:重新考虑您的设计。问问自己“我要处理的类和对象是什么？”以及“我想要建模的真实世界对象是什么？”

反例

维基百科(上面的链接)演示了如何违反 LSP。我将尝试弥补第二个例子。假设您有一个类 Car，其方法为 drive()。派生类(RacingCar、Van、...)可以指定速度、加速度等。当汽车驶入水中(深水、湖泊、大海)时，汽车会坏掉，然后叫下一个车库。现在您派生了一个类 AmphibiousVehicle。这个不会在水里破裂，车库会被调用而没有用。你预料到吗？也许是吧。但如果不是，根据进一步的上下文，我会考虑 Vehicle 类，它是 Car 的基础。它会有一个方法 move()。而仍然属于 Car 的 drive() 会调用 move() 并且可能会在遇到麻烦时调用(再次 ;-))车库.等等。

关于c++ - 重载是否违反里氏替换原则？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/27520300/

里氏ampcodestrongAreac++solid-principlesliskov-substitution-principle

有关c++ - 重载是否违反里氏替换原则？的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  3. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

    在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

  4. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  5. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  6. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  7. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  8. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如，今天的日期为07-09-2015)，我想看看是不是在过去的七天内。谁能推荐一种方法？ 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/32438063/

  9. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同，而不是下载一半的损坏文件？documentation说IO.copy_stream返回它复制的字节数，但是当我还没有下

  10. ruby - 是否可以覆盖 gemfile 进行本地开发？ - 2

    我们的git存储库中目前有一个Gemfile。但是，有一个gem我只在我的环境中本地使用(我的团队不使用它)。为了使用它，我必须将它添加到我们的Gemfile中，但每次我checkout到我们的master/dev主分支时，由于与跟踪的gemfile冲突，我必须删除它。我想要的是类似Gemfile.local的东西，它将继承从Gemfile导入的gems，但也允许在那里导入新的gems以供使用只有我的机器。此文件将在.gitignore中被忽略。这可能吗？ 最佳答案 设置BUNDLE_GEMFILE环境变量:BUNDLE_GEMFI

随机推荐