Do gas refunds apply in a fallback function? What is the limit for non matching function identifiers?

Question

I know that a fallback function called with a .transfer only has gas limit of 2300. What happens if the fallback function deletes some storage variables in the fallback function? Would the fallback function be able to use more than the 2300 gas limit because some gas is being refunded? Let's say it sets one variable to 0, which the gas refund is 10000. Then would the fallback function have gas limit of 12300? I.e. be able to set 2 variables each action having a cost of 5000 gas?

Also, I've read that .transfer, .send will have a limit of 2300 gas and call.value will transfer gas from the transaction. But what about a non matching function? According to the docs a non matching function identifier will trigger the fallback function. So what happens if someone calls my contract with "thisMethodDoesntExist()", would the fallback have a limit of 2300?

Answer 1

Would the fallback function be able to use more than the 2300 gas limit because some gas is being refunded?

First of all, the amount of gas refunded is at most half the gas used, so the theoretical gas limit of the fallback function is at most 2300 + 1150 = 3450 gas.

Second, the gas refund itself is provided only at the end of the transaction, which means that the function being executed cannot use its own gas refund.

This means that even the additional amount of 1150 gas is not available for the fallback function, hence its gas limit remains 2300 gas.