>>528
画質向上を最重視するならRX100かG9X(RX100よりも更に小型)だけど、
いずれもHX-5Vに比べると広角端が狭くなる
(HX-5Vはフルサイズ換算25mm〜、RX100とG9Xは28mm〜)
なので今まで城の撮影でHX-5Vの広角端を多用していたならちょっと物足りないかも
もし広角を重視するならEX-ZR4000とかも検討してみては
1/1.7型だけど、HX-5Vよりは画質も良い

買う前に必ず店頭で触ってみてね