根据搜索结果，以下是几款支持K歌且歌曲库较丰富的电视软件推荐，供您参考：

一、综合类K歌软件

当贝酷狗音乐TV版

- 覆盖6000万+正版曲库，包含海量伴奏和智能评分功能，支持蝰蛇音效、3D丽音等高级音效调节，还提供扫码点歌和直播功能，适合追求视听体验的用户。

- 会员体系包含K歌会员（10元/月）和音乐会员（单独付费），部分功能需付费但基础歌库免费。

全民K歌TV版

- 提供流行、经典、抖音热歌等全品类曲库，支持QQ/微信登录实现社交互动（合唱、抢麦、群聊），智能修音功能完善，适合家庭聚会或朋友小聚。

QQ音乐TV版

- 拥有全网正版曲库和百万MV片源，支持5.1声道音效和直播功能，一人付费全家共享，适合手机端用户同步使用。

二、其他特色K歌软件

唱吧TV版：

主打声音美化，提供混响特效和智能评分，新歌推荐丰富，适合注重演唱体验的用户。

iKTV：免费无广告，曲库涵盖明星歌曲和抖音神曲，支持永久免费使用。

三、其他推荐软件（非K歌功能）

当贝酷狗音乐：除K歌外，还提供音乐播放、电台直播等功能，适合视听娱乐综合需求。

PPTV网络电视：聚合影视、体育、娱乐等资源，支持高清直播，适合观看CCTV等电视频道。

总结

若以歌曲库丰富度为核心， 当贝酷狗音乐TV版和 全民K歌TV版是首选，前者音效和社交功能更全面，后者则侧重免费无广告的体验。若需综合视听娱乐，可考虑 QQ音乐TV版或 当贝酷狗音乐。