请教如何取得某一角色的所有用户

请教如何取得某一角色的所有用户，申明是用公式，不是自己写程序获得的，代码已经实现过了，但是不知道是否有公式可以做到。请指教。