无论是否发生异常，finally语句块始终会执行，因此选项B正确。finally语句块可以包含return语句（选项A错误）。如果try块中发生异常，finally块仍会执行（选项C错误）。try块可以没有catch或finally（选项D错误）。