嵌套事务的问题

嵌套事务有几个特征, 帮助中这么说;

Microsoft® SQL Server™ 忽略提交内部事务。根据最外部事务结束时采取的操作，将提交或者回滚事务。如果提交外部事务，则内层嵌套的事务也会提交。如果回滚外部事务，则不论此前是否单独提交过内层事务，所有内层事务都将回滚。

对 COMMIT TRANSACTION 或 COMMIT WORK 的每个调用都应用于最后执行的 BEGIN TRANSACTION。如果嵌套 BEGIN TRANSACTION 语句，那么 COMMIT 语句只应用于最后一个嵌套的事务，也就是在最内层的事务。即使嵌套事务内部的 COMMIT TRANSACTION transaction_name 语句引用外部事务的事务名，该提交也只应用于最内层的事务。

ROLLBACK TRANSACTION 语句的 transaction_name 参数引用一组命名的嵌套事务的内层事务是非法的，transaction_name 只能引用最外部事务的事务名。如果在一组嵌套事务的任意级别执行使用外部事务名称的 ROLLBACK TRANSACTION transaction_name 语句，那么所有的嵌套事务都将回滚。如果在一组嵌套事务的任意级别执行没有 transaction_name 参数的 ROLLBACK WORK 或 ROLLBACK TRANSACTION 语句，那么它将回滚所有嵌套事务，包括最外部事务。

@@TRANCOUNT 函数记录当前事务的嵌套级。每个 BEGIN TRANSACTION 语句使 @@TRANCOUNT 加 1。每个 COMMIT TRANSACTION 或 COMMIT WORK 语句使 @@TRANCOUNT 减 1。没有事务名的 ROLLBACK WORK 或 ROLLBACK TRANSACTION 语句将回滚所有嵌套事务，并使 @@TRANCOUNT 减小到 0。使用一组嵌套事务中最外部事务的事务名称的 ROLLBACK TRANSACTION 将回滚所有嵌套事务，并使 @@TRANCOUNT 减到 0。在无法确定是否已经在事务中时，可以用 SELECT @@TRANCOUNT 语句确定 @@TRANCOUNT 是 1 还是更大。如果 @@TRANCOUNT 是 0，则表明不在事务中。

如何解决嵌套显式事务的问题,我举了一个例子:

-- create a table for testing

Create Table T1(v int check (v<100))     -- v必须小于100

--create first proc to insert data

Create Proc InnerTrans
AS
Begin
    begin tran tran1
    insert into T1 values(1) -- this should be ok
    if @@error<>0
        begin
            rollback tran tran1
            return -1
        end
    
    insert into T1 values(200) -- 违反了约束
    if @@error<>0
        begin
            rollback tran tran1
            return -1
        end
    commit tran tran1
    return 1
    --ok here
End

Create Proc OuterTran
AS
Begin
    begin tran tran2
    insert into T1 values(2)        -- ok now
    declare  @invokecode int
    exec @invokecode=innerTrans
    if(@invokecode=-1)        
        rollback tran tran2
    else
        commit tran tran2
    
End

select * from T1
exec innerTrans    -- worked ok
exec OuterTran    --does not work

-- How to Modify?


alter Proc InnerTrans
AS
Begin
    begin tran tran1
    save tran ttt    --savepoint here
    insert into T1 values(1) -- this should be ok
    if @@error<>0
        begin
            rollback tran ttt
            commit tran tran1
             return -1
        end
    
    insert into T1 values(200) -- 违反了约束
    if @@error<>0
        begin
            rollback tran ttt
            commit tran tran1
            return -1
        end
    commit tran tran1
    return 1
    --ok here
End