用电的泳池吸尘器

我有一个奇怪的想法。万一漏电，正在游泳的人岂不是都被电死了吗？
现在，很多人都在witching to 机器人泳池吸尘器。要么用电池，要么用电的。许多人反映说，用电池的不好，一是电池寿命问题，二是不够给力的问题（运行时间不长）。 但是，万一电线漏电怎么办啊？尤其是常年暴露在太阳下，风吹日晒，加上不停地运动，很有可能会导致电线漏电啊。 不知道吸尘器有没有漏电保护措施（就是一旦漏电，自动掐断电源）？