jtextfield入力を整数に閉じ込める

jtextfieldコントロールのポジティブ整数にユーザー入力を制限することは、プログラミングにおいて一般的な問題です。この目的のためにキーリストナーを利用しようとしましたが、より効果的なアプローチがあります。

keylistenerに依存するのではなく、ドキュメントフィルターを実装することは、いくつかの利点を提供します。指定された基準。

それは、データ型（例えば、入力されたデータを整数として解析できることを保証する）やデータの長さ（例えば、最大数桁数を施行する）などの数値範囲チェックを超えて追加の検証を可能にします。例：
Import javax.swing.text.plaindocument; javax.swing.text.documentfilterをインポートします。 javax.swing.text.attributesetをインポートします。 javax.swing.text.badlocationexceptionをインポートします。 class intdocumentfilterはslaindocumentを拡張します{ @オーバーライド public void insertString（filterbypass fb、int offset、string string、astributeset attr）throws badlocationexception { if（string == null || string.isempty（））{ super.insertstring（fb、offset、string、attr）; } それ以外 { 試す { integer.parseint（string）; super.insertstring（fb、offset、string、attr）; } catch（numberformatexception e）{ //ユーザーに警告し、挿入を許可しないでください } } } @オーバーライド public voidの交換（filterbypass fb、int offset、int length、string text、astributeset attrs）badlocationexception { if（text == null || text.isempty（））{ super.replace（fb、offset、length、text、attrs）; } それ以外 { 試す { integer.parseint（テキスト）; super.replace（fb、offset、length、text、attrs）; } catch（numberformatexception e）{ //ユーザーに警告し、挿入を許可しないでください } } } }
このフィルターを使用するには、インスタンス化してJTextfieldに関連付けられたPlainDocumentオブジェクトに設定します：

PlainDocument doc =（plainDocument）textfield.getDocument（）; doc.setDocumentFilter（new intdocumentfilter（））;

import javax.swing.text.PlainDocument;
import javax.swing.text.DocumentFilter;
import javax.swing.text.AttributeSet;
import javax.swing.text.BadLocationException;

class IntDocumentFilter extends PlainDocument {

    @Override
    public void insertString(FilterBypass fb, int offset, String string, AttributeSet attr) throws BadLocationException {

        if (string == null || string.isEmpty()) {
            super.insertString(fb, offset, string, attr);
        } else {
            try {
                Integer.parseInt(string);
                super.insertString(fb, offset, string, attr);
            } catch (NumberFormatException e) {
                // warn the user and don't allow the insert
            }
        }
    }

    @Override
    public void replace(FilterBypass fb, int offset, int length, String text, AttributeSet attrs) throws BadLocationException {

        if (text == null || text.isEmpty()) {
            super.replace(fb, offset, length, text, attrs);
        } else {
            try {
                Integer.parseInt(text);
                super.replace(fb, offset, length, text, attrs);
            } catch (NumberFormatException e) {
                // warn the user and don't allow the insert
            }
        }
    }
}