Summary: By using free \(C^*\)-algebras on an operator space and hereditary \(C^*\)-subalgebras as tools, we obtain a necessary and sufficient condition for the uniqueness of extension in non-commutative Hahn-Banach-Arveson-Wittstock theorem.