要编写一个具有标记规则的类型安全访问者，可以使用Java的Visitor设计模式。下面是一个示例代码来演示如何实现：

首先，定义一个标记接口或类，用于标识每个要访问的元素类型。例如，我们创建一个名为Element的接口作为标记：

public interface Element {
    // marker interface
}

然后，定义具体的元素类，实现Element接口：

public class ConcreteElementA implements Element {
    // implement element specific logic
}

public class ConcreteElementB implements Element {
    // implement element specific logic
}

接下来，定义一个访问者接口，其中包含访问不同元素类型的方法。访问者可以有多个不同的方法，每个方法用于处理不同的元素类型。

public interface Visitor {
    void visit(ConcreteElementA elementA);
    void visit(ConcreteElementB elementB);
}

然后，创建一个具体的访问者类，实现Visitor接口。在每个visit方法中，可以根据不同的元素类型执行相应的逻辑。

public class ConcreteVisitor implements Visitor {
    @Override
    public void visit(ConcreteElementA elementA) {
        // handle ConcreteElementA logic
    }

    @Override
    public void visit(ConcreteElementB elementB) {
        // handle ConcreteElementB logic
    }
}

最后，在需要访问元素的类中，添加一个accept方法，该方法接受访问者作为参数，并根据元素类型调用访问者的相应方法。

public class Client {
    public static void main(String[] args) {
        Element elementA = new ConcreteElementA();
        Element elementB = new ConcreteElementB();

        Visitor visitor = new ConcreteVisitor();

        elementA.accept(visitor);
        elementB.accept(visitor);
    }
}

通过这种方式，我们可以实现一个具有标记规则的类型安全访问者。不同的元素类型可以通过标记接口或类进行标识，并且访问者可以根据元素类型执行相应的逻辑。这种方式可以使访问者的行为更加灵活，易于扩展和维护。