要从CAS服务器获取已登录的用户，可以使用Apereo CAS提供的Java CAS客户端。以下是一个示例代码，展示了如何从CAS服务器获取已登录的用户。

import org.jasig.cas.client.authentication.AttributePrincipal;
import org.jasig.cas.client.util.AbstractCasFilter;
import org.jasig.cas.client.validation.Assertion;
import org.jasig.cas.client.validation.Cas20ProxyTicketValidator;
import org.jasig.cas.client.validation.Cas20ServiceTicketValidator;

import javax.servlet.FilterConfig;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import javax.servlet.http.HttpSession;
import java.io.IOException;

public class CasUserHelper {

    private static final String CAS_SERVER_URL = "https://your-cas-server-url.com";
    private static final String CAS_SERVICE_URL = "https://your-application-url.com";

    private static final String CAS_ATTRIBUTE_NAME = "casuser";

    public static String getLoggedInUser(HttpServletRequest request) {
        HttpSession session = request.getSession(false);
        if (session != null) {
            Assertion assertion = (Assertion) session.getAttribute(AbstractCasFilter.CONST_CAS_ASSERTION);
            if (assertion != null) {
                AttributePrincipal principal = assertion.getPrincipal();
                if (principal != null) {
                    return principal.getName();
                }
            }
        }
        return null;
    }

    public static boolean isUserLoggedIn(HttpServletRequest request) {
        return getLoggedInUser(request) != null;
    }

    public static void handleCasRedirect(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
        String ticket = request.getParameter("ticket");
        if (ticket != null) {
            Cas20ServiceTicketValidator validator = new Cas20ServiceTicketValidator(CAS_SERVER_URL);
            validator.setService(CAS_SERVICE_URL);
            Assertion assertion = validator.validate(ticket, CAS_SERVICE_URL);
            if (assertion != null) {
                AttributePrincipal principal = assertion.getPrincipal();
                String username = principal.getName();
                HttpSession session = request.getSession(true);
                session.setAttribute(AbstractCasFilter.CONST_CAS_ASSERTION, assertion);
                session.setAttribute(CAS_ATTRIBUTE_NAME, username);

                // Redirect to a page after successful login
                response.sendRedirect("home.jsp");
                return;
            }
        }

        // Redirect to CAS server for authentication
        response.sendRedirect(CAS_SERVER_URL + "/login?service=" + CAS_SERVICE_URL);
    }

    public static void handleCasLogout(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
        HttpSession session = request.getSession(false);
        if (session != null) {
            session.invalidate();
        }

        // Redirect to CAS server for logout
        response.sendRedirect(CAS_SERVER_URL + "/logout?service=" + CAS_SERVICE_URL);
    }
}

在上述代码中，getLoggedInUser方法用于从当前会话中获取已登录的用户。如果用户已登录，它将返回用户名，否则返回null。

isUserLoggedIn方法用于检查用户是否已登录。如果已登录，它将返回true，否则返回false。

handleCasRedirect方法用于处理CAS服务器的重定向。如果请求中包含有效的票据（ticket），它将使用CAS客户端验证票据，并将用户信息存储在会话中。然后，它将重定向到成功登录后的页面。如果请求中没有有效的票据，它将重定向到CAS服务器以进行身份验证。

handleCasLogout方法用于处理CAS服务器的注销。它将使当前会话无效，并重定向到CAS服务器以进行注销。

请注意，上述代码中的CAS服务器URL（CAS_SERVER_URL）和应用程序URL（CAS_SERVICE_URL）需要根据实际情况进行更改。此外，您可能需要将CAS客户端库添加到项目的依赖项中，以便使用CAS客户端功能。